Eric Horvitz, Adrian Klein. Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources. In Philippe Besnard, Steve Hanks, editors, UAI 95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, August 18-20, 1995, Montreal, Quebec, Canada. pages 306-314, Morgan Kaufmann, 1995. [doi]
@inproceedings{HorvitzK95,
title = {Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources},
author = {Eric Horvitz and Adrian Klein},
year = {1995},
url = {http://rome.exp.sis.pitt.edu/UAI/Abstract.asp?articleID=446&proceedingID=11},
researchr = {https://researchr.org/publication/HorvitzK95},
cites = {0},
citedby = {0},
pages = {306-314},
booktitle = {UAI 95: Proceedings of the Eleventh Annual Conference on Uncertainty in Artificial Intelligence, August 18-20, 1995, Montreal, Quebec, Canada},
editor = {Philippe Besnard and Steve Hanks},
publisher = {Morgan Kaufmann},
}