%0 Conference Paper %1 conf/birthday/BoyerGKM91 %A Boyer, Robert S. %A Goldschlag, David M. %A Kaufmann, Matt %A Moore, J Strother %B Artificial and Mathematical Theory of Computation %D 1991 %E Lifschitz, Vladimir %I Academic Press / Elsevier %K dblp %P 7-26 %T Functional Instantiation in First-Order Logic. %U http://dblp.uni-trier.de/db/conf/birthday/mccarthy1991.html#BoyerGKM91 %@ 978-0-12-450010-5

@inproceedings{conf/birthday/BoyerGKM91, added-at = {2023-06-19T00:00:00.000+0200}, author = {Boyer, Robert S. and Goldschlag, David M. and Kaufmann, Matt and Moore, J Strother}, biburl = {https://www.bibsonomy.org/bibtex/2f1884de1b59c65dfb98d887bd7ed316a/dblp}, booktitle = {Artificial and Mathematical Theory of Computation}, crossref = {conf/birthday/1991mccarthy}, editor = {Lifschitz, Vladimir}, ee = {https://doi.org/10.1016/b978-0-12-450010-5.50007-4}, interhash = {01aa3ab34b988a3ddda70c71a50bd001}, intrahash = {f1884de1b59c65dfb98d887bd7ed316a}, isbn = {978-0-12-450010-5}, keywords = {dblp}, pages = {7-26}, publisher = {Academic Press / Elsevier}, timestamp = {2024-04-10T09:23:17.000+0200}, title = {Functional Instantiation in First-Order Logic.}, url = {http://dblp.uni-trier.de/db/conf/birthday/mccarthy1991.html#BoyerGKM91}, year = 1991 }