1. Automation of Reasoning : Classical Papers on Computational Logic 1957¿1966
by G. Wrightson 
Price: USD 126.45
Dealer: AbebooksDE, AHA-BUCH GmbH
Description: ISBN10: 3642819540, ISBN13: 9783642819544, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - 'Kind of Cl'Ude ~ but it UJorks~ boy~ it UJOrksl' Alan Ner. ueH to Herb Simon~ C1rl'istmas 1955 In 1954 a computer program produced what appears to be the first computer generated mathematical proof: Written by M. Davis at the Institute of Advanced Studies, USA, it proved a number theoretic theorem in Presburger Arithmetic. Christmas 1955 heralded a computer program which generated the first proofs of some propositions of Principia Mathematica, developed by A. Newell, J. Shaw, and H. Simon at RAND Corporation, USA. In Sweden, H. Prawitz, D. Prawitz, and N. Voghera produced the first general program for the full first order predicate calculus to prove mathematical theorems; their computer proofs were obtained around 1957 and 1958, about the same time that H. Gelernter finished a computer program to prove simple high school geometry theorems. Since the field of computational logic (or automated theorem proving) is emerging from the ivory tower of academic research into real world applications, asserting also a definite place in many university curricula, we feel the time has come to examine and evaluate its history. 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. [Einbeck, Germany] [Publication Year: 2012]  

2. Automation of Reasoning : Classical Papers on Computational Logic 1957¿1966
by G. Wrightson 
Price: USD 113.89
Dealer: ZVAB, AHA-BUCH GmbH
Description: ISBN10: 3642819540, ISBN13: 9783642819544, [publisher: Springer Berlin Heidelberg] Softcover Druck auf Anfrage Neuware - Printed after ordering - 'Kind of Cl'Ude ~ but it UJorks~ boy~ it UJOrksl' Alan Ner. ueH to Herb Simon~ C1rl'istmas 1955 In 1954 a computer program produced what appears to be the first computer generated mathematical proof: Written by M. Davis at the Institute of Advanced Studies, USA, it proved a number theoretic theorem in Presburger Arithmetic. Christmas 1955 heralded a computer program which generated the first proofs of some propositions of Principia Mathematica, developed by A. Newell, J. Shaw, and H. Simon at RAND Corporation, USA. In Sweden, H. Prawitz, D. Prawitz, and N. Voghera produced the first general program for the full first order predicate calculus to prove mathematical theorems; their computer proofs were obtained around 1957 and 1958, about the same time that H. Gelernter finished a computer program to prove simple high school geometry theorems. Since the field of computational logic (or automated theorem proving) is emerging from the ivory tower of academic research into real world applications, asserting also a definite place in many university curricula, we feel the time has come to examine and evaluate its history. 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. [Einbeck, Germany] [Publication Year: 2012]  

3. Automation of Reasoning
Price: USD 145.18
Dealer: Biblio, Cold Books
Description: Springer , pp. 546, . Papeback. New. Springer ISBN 3642819540 9783642819544 [US] 

4. Automation of Reasoning: Classical Papers on Computational Logic 1957 1966
by Jorg Siekmann 
Price: USD 145.32
Dealer: Biblio, The Saint Bookstore
Description: Paperback / softback. New. 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. ISBN 3642819540 9783642819544 [GB] 

5. Automation of Reasoning: Classical Papers on Computational Logic 1957 1966 Symbolic Computation / Artificial Intelligence
by Siekmann J. Editor / Wrightson G. Editor 
Price: USD 149.52
Dealer: Biblio, Revaluation Books
Description: Springer-Verlag, Date: 2012. Paperback. New. reprint edition. 537 pages. 9.61x6.61x1.50 inches. 2012. Springer-Verlag ISBN 3642819540 9783642819544 [GB] 

6. Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 (Symbolic Computation / Artificial Intelligence)
by Siekmann, J. (Editor) / Wrightson, G. (Editor) 
Price: USD 152.05
Dealer: AbebooksUK, Revaluation Books
Description: ISBN10: 3642819540, ISBN13: 9783642819544, [publisher: Springer-Verlag] Softcover reprint edition. 537 pages. 9.61x6.61x1.50 inches. In Stock. [Exeter, United Kingdom] [Publication Year: 2012]  

7. Automation of Reasoning: Classical Papers on Computational Logic 1957-1966
by Siekmann, J (Editor), and Wrightson, G (Editor) 
Price: USD 103.32
Dealer: Alibris
Description: Berlin, Heidelberg Springer 2012 Trade paperback New. Trade paperback (US). Glued binding. 528 p. 

8. Automation of Reasoning: Classical Papers on Computational Logic 1957–1966 (Symbolic Computation)
Price: USD 171.56
Dealer: AbebooksUK, Mispah books
Description: ISBN10: 3642819540, ISBN13: 9783642819544, [publisher: Springer] Softcover Like New [Redhill, SURRE, United Kingdom] [Publication Year: 2012]  

9. Automation of Reasoning: Classical Papers on Computational Logic 1957–1966 (Symbolic Computation)
Price: USD 116.93
Dealer: Abebooks, Lucky's Textbooks
Description: ISBN10: 3642819540, ISBN13: 9783642819544, [publisher: Springer] Softcover [Dallas, TX, U.S.A.] [Publication Year: 2012]  

10. Automation of Reasoning
Price: USD 148.80
Dealer: Abebooks, Books Puddle
Description: ISBN10: 3642819540, ISBN13: 9783642819544, [publisher: Springer] Softcover pp. 546, [New York, NY, U.S.A.] [Publication Year: 2012]