Review of Automated Reasoning: Thirty-Three Basic Research Problems

Authors

  • Ulrich Wendl

DOI:

https://doi.org/10.1609/aimag.v10i3.761

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.

Downloads

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

Issue

Section

Book Reviews