|
|||||||||||||||||||||||||||||||||||
|
1 Review
|
Average Customer Review
Share your thoughts with other customers
Create your own review
|
|
Most Helpful First | Newest First
|
|
13 of 13 people found the following review helpful:
4.0 out of 5 stars
Learn about automated theorem proving in one weekend,
By james (Geneva, Switzerland) - See all my reviews
This review is from: Automated Theorem Proving: Theory and Practice (Hardcover)
So you wanted to know how automated theorem proving algorithms work? This is a "hands on" book that tells you just that and gives you the sources of a program that implements these algorithms. The book is a cross between giving you theory and telling you about the included programs. As such it is a fast read and is great to learn the basic concepts. Its short comings are that you sometimes need to reread a paragraph a few times because it is written in a fairly terse style. The code is meant to work under unix but compiles and run well under windows visual C++ although one program does not work fully (COMPILE).
|
|
Most Helpful First | Newest First
|
|
Automated Theorem Proving: Theory and Practice by Monroe Newborn (Hardcover - December 15, 2000)
$154.00 $129.58
In Stock | |
 
| ||
