Review of Automated Reasoning: Thirty-Three Basic Research Problems

Ulrich Wendl

Abstract


To read the book "Automated Reasoning: Thirty-Three Basic Research problems (Prentice Hall, Englewood Cliffs, N.J., 1987, 300 pp., $11.00) by Larry Was it is not necessary to be an expert in mathematics or logic or computer science. However, even if you are such an expert, you will read it with interest, and likely, with enjoyment.

Full Text:

PDF


DOI: http://dx.doi.org/10.1609/aimag.v10i3.761

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