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.
Published
2002-03-15
Section
Book Reviews