Top Document: Artificial Intelligence FAQ: Bibliography 4/6 [Monthly posting] Previous Document: [4-17] Task-specific Architectures for Problem Solving Next Document: [4-19] Probabilistic Reasoning See reader questions & answers on this topic! - Help others by sharing your knowledge Alan Bundy, "The Computer Modelling of Mathematical Reasoning", Academic Press, 1983. [Contains Prolog code for a simple resolution-based theorem prover.] C. Chang and R.C. Lee, "Symbolic Logic and Mechanical Theorem Proving", Academic Press, 1973. David Duffy, "Principles of Automated Theorem Proving", John Wiley and Sons, 1991. Larry Wos and Ross Overbeek and Ewing Lusk and Jim Boyle, "Automated Reasoning. Introduction and Applications", Second Edition, McGraw-Hill, 1992. Proceedings of the 11th International Conference on Automated Deduction (CADE-11), D. Kapur (editor), Saratoga Springs, NY, USA, June 15-18, 1992, Lecture Notes in AI 607, Springer-Verlag, 1992, 793 pages. ISBN 0-387-55602-8 and 3-540-55602-8. [The CADE proceedings have a systems abstracts section with short descriptions of implemented systems, many of which are available by anonymous ftp.] User Contributions:Comment about this article, ask questions, or add new information about this topic:Top Document: Artificial Intelligence FAQ: Bibliography 4/6 [Monthly posting] Previous Document: [4-17] Task-specific Architectures for Problem Solving Next Document: [4-19] Probabilistic Reasoning Part1 - Part2 - Part3 - Part4 - Part5 - Part6 - Part7 - Single Page [ Usenet FAQs | Web FAQs | Documents | RFC Index ] Send corrections/additions to the FAQ Maintainer: crabbe@usna.edu
Last Update March 27 2014 @ 02:11 PM
|
english essay writer https://essaywritingservicehelp.com unique college essay https://englishessayhelp.com