Freunden von diesem Artikel berichten:
Automated Theorem Proving: Theory and Practice Softcover reprint of the original 1st ed. 2001 edition
Monty Newborn
Preis
€ 147,99
Bestellware
Lieferdatum: ca. 30. Jan - 10. Feb
Zu deiner iMusic Wunschliste hinzufügen
Eller
Auch vorhanden 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
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 24. Mai 2013 |
| ISBN13 | 9781461265191 |
| Verlag | Springer-Verlag New York Inc. |
| Seitenanzahl | 231 |
| Maße | 155 × 235 × 13 mm · 353 g |
| Sprache | Englisch |
Alle anzeigen
Weitere Titel von Monty Newborn
![Cover for Monty Newborn · Beyond Deep Blue: Chess in the Stratosphere (Taschenbuch) [2011 edition] (2014)](https://imusic.b-cdn.net/images/item/original/731/9781447160731.jpg?monty-newborn-2014-beyond-deep-blue-chess-in-the-stratosphere-taschenbuch&class=scaled&v=1487112717)
![Cover for Monty Newborn · Deep Blue: An Artificial Intelligence Milestone (Taschenbuch) [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-taschenbuch&class=scaled&v=1435496560)
![Cover for Monty Newborn · Kasparov Versus Deep Blue: Computer Chess Comes of Age (Taschenbuch) [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-taschenbuch&class=scaled&v=1447258593)
![Cover for Monty Newborn · Deep Blue: An Artificial Intelligence Milestone (Gebundenes Buch) [2003 edition] (2002)](https://imusic.b-cdn.net/images/item/original/615/9780387954615.jpg?monty-newborn-2002-deep-blue-an-artificial-intelligence-milestone-gebundenes-buch&class=scaled&v=1397721687)
Alle Titel von Monty Newborn ansehen ( u. a. Taschenbuch und Gebundenes Buch )