Tell your friends about this item:
Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 - Artificial Intelligence Softcover reprint of the original 1st ed. 1983 edition
J Siekmann
Price
$ 121.99
Ordered from remote warehouse
Expected delivery Mar 17 - 28
Our customers say:
Add to your iMusic wish list
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
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | January 10, 2012 |
| ISBN13 | 9783642819544 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 528 |
| Dimensions | 170 × 244 × 28 mm · 857 g |
| Language | German |
| Editor | Siekmann, J. |
| Editor | Wrightson, G. |
![Cover for J Siekmann · Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 - Symbolic Computation (Paperback Book) [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-book&class=scaled&v=1640871854)
![Cover for J Siekmann · RoboCup-97: Robot Soccer World Cup I - Lecture Notes in Artificial Intelligence (Paperback Book) [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-book&class=scaled&v=1533993245)