Fortæl dine venner om denne vare:
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 - Artificial Intelligence Softcover reprint of the original 1st ed. 1983 edition
J Siekmann
Pris
元 970
Bestilles fra fjernlager
Forventes klar til forsendelse 2. - 8. sep.
Tilføj til din iMusic ønskeseddel
Eller
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 - Artificial Intelligence Softcover reprint of the original 1st ed. 1983 edition
J Siekmann
Gelernter finished a computer program to prove simple high school geometry theorems. The article by Martin Davis in the first of this series of volumes traces the most influential ideas back to the 'prehistory' of early logical thought showing how these ideas influenced the underlying concepts of most early automatic theorem proving programs.
546 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 10. januar 2012 |
| ISBN13 | 9783642819544 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 528 |
| Mål | 170 × 244 × 28 mm · 857 g |
| Sprog | Tysk |
| Klipper/redaktør | Siekmann, J. |
| Klipper/redaktør | Wrightson, G. |
![Cover for J Siekmann · Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 - Symbolic Computation (Paperback Bog) [Softcover reprint of the original 1st ed. 1983 edition] (2012)](https://imusic.b-cdn.net/images/item/original/575/9783642819575.jpg?j-siekmann-2012-automation-of-reasoning-2-classical-papers-on-computational-logic-1967-1970-symbolic-computation-paperback-bog&class=scaled&v=1640871854)
![Cover for J Siekmann · RoboCup-97: Robot Soccer World Cup I - Lecture Notes in Artificial Intelligence (Paperback Bog) [1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/736/9783540644736.jpg?j-siekmann-1998-robocup-97-robot-soccer-world-cup-i-lecture-notes-in-artificial-intelligence-paperback-bog&class=scaled&v=1533993245)