AnyBook4Less.com	Find the Best Price on the Web Order from a Major Online Bookstore
Home  |  Store List  |  FAQ  |  Contact Us  |
Ultimate Book Price Comparison Engine Save Your Time And Money Keyword AuthorISBN

Title: Automated Theorem Proving: Theory and Practice by Monroe Newborn, Monty Newborn ISBN: 0-387-95075-3 Publisher: Springer-Verlag Pub. Date: 01 January, 2001 Format: Hardcover Volumes: 1 List Price(USD): $59.95

Your Country USA Canada United Kingdom Australia Austria Belgium France Germany Italy Netherlands Switzerland Currency AutoUSD CAD GBP EUR AUD CHF Delivery Only cheapest delivery All delivery options Include Used Books Are you a club member of: Barnes and Noble Books A Million Chapters.Indigo.ca

Average Customer Rating: 4 (1 review)

Rating: 4
Summary: Learn about automated theorem proving in one weekend
Comment: 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 Books:

	Title: Symbolic Logic and Mechanical Theorem Proving by Chin-Liang Chang, Richard Char-Tung Lee ISBN: 0121703509 Publisher: Academic Press Pub. Date: 01 June, 1973 List Price(USD): $57.00
	Title: Automated Theorem Proving in Software Engineering by Johann M. Schumann ISBN: 3540679898 Publisher: Springer-Verlag Pub. Date: June, 2001 List Price(USD): $49.95