External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Reasoning, Metareasoning, and Mathematical Truth: Studies of Theorem Proving under Limited Resources

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]

Authors

Eric Horvitz

This author has not been identified. Look up 'Eric Horvitz' in Google

Adrian Klein

This author has not been identified. Look up 'Adrian Klein' in Google
runs on