%0 Conference Paper %1 conf/aaai/Ioerger97 %A Ioerger, Thomas R. %B AAAI/IAAI %D 1997 %E Kuipers, Benjamin %E Webber, Bonnie L. %I AAAI Press / The MIT Press %K dblp %P 145-152 %T Integrating a Spatial Reasoner with a Resolution Theorem-Prover. %U http://dblp.uni-trier.de/db/conf/aaai/aaai97.html#Ioerger97 %@ 0-262-51095-2

@inproceedings{conf/aaai/Ioerger97, added-at = {2023-09-05T00:00:00.000+0200}, author = {Ioerger, Thomas R.}, biburl = {https://www.bibsonomy.org/bibtex/2f66b15872b39269a2496b2e619ce5a49/dblp}, booktitle = {AAAI/IAAI}, crossref = {conf/aaai/1997}, editor = {Kuipers, Benjamin and Webber, Bonnie L.}, ee = {http://www.aaai.org/Library/AAAI/1997/aaai97-023.php}, interhash = {1b3142cc812be90c6de49f7e4de6a3e1}, intrahash = {f66b15872b39269a2496b2e619ce5a49}, isbn = {0-262-51095-2}, keywords = {dblp}, pages = {145-152}, publisher = {AAAI Press / The MIT Press}, timestamp = {2024-04-09T18:08:22.000+0200}, title = {Integrating a Spatial Reasoner with a Resolution Theorem-Prover.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai97.html#Ioerger97}, year = 1997 }