@inproceedings{DBLP:conf/aaai/McDougal94,
author = {Thomas F. McDougal},
title = {Everyday Reasoning Meets Geometry Theorem-Proving},
booktitle = {AAAI},
year = {1994},
pages = {1471},
crossref = {DBLP:conf/aaai/1994-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aaai/1994-2,
editor = {Barbara Hayes-Roth and
Richard E. Korf},
title = {Proceedings of the 12th National Conference on Artificial
Intelligence, Seattle, WA, USA, July 31 - August 4, 1994,
Volume 2},
booktitle = {AAAI},
publisher = {AAAI Press / The MIT Press},
year = {1994},
isbn = {0-262-61102-3},
ee = {http://www.aaai.org/Conferences/AAAI/aaai94.php},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
