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.
Published
1989-09-15
How to Cite
Wendl, U. (1989). Review of Automated Reasoning: Thirty-Three Basic Research Problems. AI Magazine, 10(3), 103. https://doi.org/10.1609/aimag.v10i3.761
Section
Book Reviews