 | |
| |
Automated Theorem Proving: Theory and Practice
 |
Author: Monroe Newborn, Monty Newborn
List Price: $59.95
Our Price: Click to see the latest and low price
ISBN: 0387950753
Publisher: Springer Verlag (January, 2001)
Edition: Hardcover
Sales Rank: 571,862
Average Customer Rating: 4 out of 5
|
Customer ReviewsRating: 4 out of 5
Learn about automated theorem proving in one weekend
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).
Similar Products
· MySQL Reference Manual
| | | | | |
| |
