Vertel uw vrienden over dit artikel:
Automated Theorem Proving: Theory and Practice Softcover reprint of the original 1st ed. 2001 edition
Monty Newborn
Prijs
€ 150,99
Besteld in een afgelegen magazijn
Verwachte levering 30 jan. - 10 feb.
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Eller
Ook verkrijgbaar als:
Automated Theorem Proving: Theory and Practice Softcover reprint of the original 1st ed. 2001 edition
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 | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 24 mei 2013 |
| ISBN13 | 9781461265191 |
| Uitgevers | Springer-Verlag New York Inc. |
| Pagina's | 231 |
| Afmetingen | 155 × 235 × 13 mm · 353 g |
| Taal en grammatica | Engels |
Alles tonen
Meer door Monty Newborn
![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)
![Cover for Monty Newborn · Deep Blue: An Artificial Intelligence Milestone (Hardcover Book) [2003 edition] (2002)](https://imusic.b-cdn.net/images/item/original/615/9780387954615.jpg?monty-newborn-2002-deep-blue-an-artificial-intelligence-milestone-hardcover-book&class=scaled&v=1397721687)
Bekijk alles van Monty Newborn ( bijv. Paperback Book en Hardcover Book )