PTTP and Linked Inference - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Mark E. Stickel. PTTP and Linked Inference. In Computational Logic - Essays in Honor of Alan Robinson. pages 283-296, 1991.

@inproceedings{Stickel91:0,
  title = {PTTP and Linked Inference},
  author = {Mark E. Stickel},
  year = {1991},
  tags = {e-science},
  researchr = {https://researchr.org/publication/Stickel91%3A0},
  cites = {0},
  citedby = {0},
  pages = {283-296},
  booktitle = {Computational Logic - Essays in Honor of Alan Robinson},
}

runs on WebDSL