Integrating a Spatial Reasoner with a Resolution Theorem-Prover - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Thomas R. Ioerger. Integrating a Spatial Reasoner with a Resolution Theorem-Prover. In AAAI/IAAI. pages 145-152, 1997.

@inproceedings{Ioerger97:0,
  title = {Integrating a Spatial Reasoner with a Resolution Theorem-Prover},
  author = {Thomas R. Ioerger},
  year = {1997},
  researchr = {https://researchr.org/publication/Ioerger97%3A0},
  cites = {0},
  citedby = {0},
  pages = {145-152},
  booktitle = {AAAI/IAAI},
}

runs on WebDSL