Automated Theorem Proving: A Review

Geoff Sutcliffe

Abstract


Review of Automated Theorem Proving: Theory and Practice, by Monty Newborn, Berlin, Springer-Verlag, 231 pp., $54.95. ISBN 0-387-95075-3.

Full Text:

PDF


DOI: http://dx.doi.org/10.1609/aimag.v23i1.1617

Copyright © 2014, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.