Fortell venner om denne varen:
Automated Theorem Proving: Theory and Practice 2001 edition
Monty Newborn
Pris
₩ 257.100
Bestillingsvarer
Forventes levert 25. sep - 6. okt
Legg til iMusic ønskeliste
Eller
Finnes også som:
Automated Theorem Proving: Theory and Practice 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.
231 pages, biography
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 15. desember 2000 |
| ISBN13 | 9780387950754 |
| Utgivere | Springer-Verlag New York Inc. |
| Antall sider | 231 |
| Mål | 155 × 235 × 15 mm · 526 g |
| Språk | Engelsk |
![Cover for Monty Newborn · Beyond Deep Blue: Chess in the Stratosphere (Pocketbok) [2011 edition] (2014)](https://imusic.b-cdn.net/images/item/original/731/9781447160731.jpg?monty-newborn-2014-beyond-deep-blue-chess-in-the-stratosphere-pocketbok&class=scaled&v=1487112717)
![Cover for Monty Newborn · Deep Blue: An Artificial Intelligence Milestone (Pocketbok) [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-pocketbok&class=scaled&v=1435496560)
![Cover for Monty Newborn · Kasparov Versus Deep Blue: Computer Chess Comes of Age (Pocketbok) [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-pocketbok&class=scaled&v=1447258593)
![Cover for Monty Newborn · Deep Blue: An Artificial Intelligence Milestone (Innbunden bok) [2003 edition] (2002)](https://imusic.b-cdn.net/images/item/original/615/9780387954615.jpg?monty-newborn-2002-deep-blue-an-artificial-intelligence-milestone-innbunden-bok&class=scaled&v=1397721687)