Tell your friends about this item:
Automated Theorem Proving: Theory and Practice Monty Newborn Softcover reprint of the original 1st ed. 2001 edition
Price
$ 124.49
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jun 2 - 8
Our customers say:
Add to your iMusic wish list
Also available as:
Automated Theorem Proving: Theory and Practice
Monty Newborn
This text and software package introduces readers to automated theorem proving, while providing two approaches implemented as easy-to-use programs. These are semantic-tree theorem proving and resolution-refutation theorem proving.
245 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | May 24, 2013 |
| ISBN13 | 9781461265191 |
| Publishers | Springer-Verlag New York Inc. |
| Pages | 231 |
| Dimensions | 155 × 235 × 13 mm · 353 g |
| Language | English |
![Cover for Monty Newborn · Beyond Deep Blue: Chess in the Stratosphere (Paperback Book) [2011 edition] (2014)](https://imusic.b-cdn.net/images/item/original/731/9781447160731.jpg?monty-newborn-2014-beyond-deep-blue-chess-in-the-stratosphere-paperback-book&class=scaled&v=1487112717)
![Cover for Monty Newborn · Deep Blue: An Artificial Intelligence Milestone (Paperback Book) [Softcover reprint of the original 1st ed. 2003 edition] (2012)](https://imusic.b-cdn.net/images/item/original/683/9781468495683.jpg?monty-newborn-2012-deep-blue-an-artificial-intelligence-milestone-paperback-book&class=scaled&v=1435496560)
![Cover for Monty Newborn · Kasparov Versus Deep Blue: Computer Chess Comes of Age (Paperback Book) [Softcover Reprint of the Original 1st Ed. 1997 edition] (2011)](https://imusic.b-cdn.net/images/item/original/773/9781461274773.jpg?monty-newborn-2011-kasparov-versus-deep-blue-computer-chess-comes-of-age-paperback-book&class=scaled&v=1447258593)