%0 Conference Paper %1 conf/aaai/KimZ94 %A Kim, Sun %A Zhang, Hantao %B AAAI %D 1994 %E Hayes-Roth, Barbara %E Korf, Richard E. %I AAAI Press / The MIT Press %K dblp %P 162-167 %T ModGen: Theorem Proving by Model Generation. %U http://dblp.uni-trier.de/db/conf/aaai/aaai94-1.html#KimZ94 %@ 0-262-61102-3

@inproceedings{conf/aaai/KimZ94, added-at = {2023-09-04T00:00:00.000+0200}, author = {Kim, Sun and Zhang, Hantao}, biburl = {https://www.bibsonomy.org/bibtex/21ad5dfb3c519a436d503cfbc5ca5eabc/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/1994-1}, editor = {Hayes-Roth, Barbara and Korf, Richard E.}, ee = {http://www.aaai.org/Library/AAAI/1994/aaai94-025.php}, interhash = {a1a70d173bb1c577571cd4924ed0f958}, intrahash = {1ad5dfb3c519a436d503cfbc5ca5eabc}, isbn = {0-262-61102-3}, keywords = {dblp}, pages = {162-167}, publisher = {AAAI Press / The MIT Press}, timestamp = {2024-04-10T16:05:27.000+0200}, title = {ModGen: Theorem Proving by Model Generation.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai94-1.html#KimZ94}, year = 1994 }