TY - JOUR AU - Sutcliffe, Geoff PY - 2002/03/15 Y2 - 2024/03/29 TI - Automated Theorem Proving: A Review JF - AI Magazine JA - AIMag VL - 23 IS - 1 SE - Book Reviews DO - 10.1609/aimag.v23i1.1617 UR - https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/1617 SP - 121 AB - Review of Automated Theorem Proving: Theory and Practice, by Monty Newborn, Berlin, Springer-Verlag, 231 pp., $54.95. ISBN 0-387-95075-3. ER -