Automated Theorem Proving: A Review

Authors

  • Geoff Sutcliffe

DOI:

https://doi.org/10.1609/aimag.v23i1.1617

Abstract

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

Downloads

Published

2002-03-15

How to Cite

Sutcliffe, G. (2002). Automated Theorem Proving: A Review. AI Magazine, 23(1), 121. https://doi.org/10.1609/aimag.v23i1.1617

Issue

Section

Book Reviews