Tell your friends about this item:
Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 - Symbolic Computation 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: 2: Classical Papers on Computational Logic 1967-1970 - Symbolic Computation Softcover reprint of the original 1st ed. 1983 edition
J Siekmann
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.
656 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | February 9, 2012 |
| ISBN13 | 9783642819575 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 637 |
| Dimensions | 170 × 244 × 33 mm · 1.03 kg |
| Language | German |
| Editor | Siekmann, J. |
| Editor | Wrightson, G. |
![Cover for J Siekmann · Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 - Artificial Intelligence (Paperback Book) [Softcover reprint of the original 1st ed. 1983 edition] (2012)](https://imusic.b-cdn.net/images/item/original/544/9783642819544.jpg?j-siekmann-2012-automation-of-reasoning-classical-papers-on-computational-logic-1957-1966-artificial-intelligence-paperback-book&class=scaled&v=1609301731)
![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)