%0 Conference Paper %1 conf/uai/HorvitzK95 %A Horvitz, Eric %A Klein, Adrian C. %B UAI %D 1995 %E Besnard, Philippe %E Hanks, Steve %I Morgan Kaufmann %K dblp %P 306-314 %T Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources. %U http://dblp.uni-trier.de/db/conf/uai/uai1995.html#HorvitzK95 %@ 1-55860-385-9

@inproceedings{conf/uai/HorvitzK95, added-at = {2021-02-03T00:00:00.000+0100}, author = {Horvitz, Eric and Klein, Adrian C.}, biburl = {https://www.bibsonomy.org/bibtex/238d826774d60ead0c4109ba19882d778/dblp}, booktitle = {UAI}, crossref = {conf/uai/1995}, editor = {Besnard, Philippe and Hanks, Steve}, ee = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=446&proceeding_id=11}, interhash = {61ddde6744a4dfdd239029769c5e5c0a}, intrahash = {38d826774d60ead0c4109ba19882d778}, isbn = {1-55860-385-9}, keywords = {dblp}, pages = {306-314}, publisher = {Morgan Kaufmann}, timestamp = {2024-04-10T12:05:41.000+0200}, title = {Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources.}, url = {http://dblp.uni-trier.de/db/conf/uai/uai1995.html#HorvitzK95}, year = 1995 }