Abstract
Review of Automated Theorem Proving: Theory and Practice, by Monty Newborn, Berlin, Springer-Verlag, 231 pp., $54.95. ISBN 0-387-95075-3.
- Title
- Automated Theorem Proving: A Review
- Creators
- Geoff Sutcliffe
- Publisher
- Association for the Advancement of Artificial Intelligence
- Academic Unit
- Leadership Department; College of A&S; A&S - Computer Science
- Language
- English
- Resource Type
- Other
- Record Identifier
- 991031598086402976