Automation of Reasoning: Classical Papers on Computational Logic 1957?1966 (Symbolic Computation)

5 avg rating
( 1 ratings by Goodreads )
9783642819544: Automation of Reasoning: Classical Papers on Computational Logic 1957?1966 (Symbolic Computation)

"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.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 149.00
US$ 123.66

Convert Currency

Shipping: US$ 11.53
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Jorg Siekmann
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2012)
ISBN 10: 3642819540 ISBN 13: 9783642819544
New Quantity Available: > 20
Print on Demand
Seller
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2012. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9783642819544

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 123.66
Convert Currency

Add to Basket

Shipping: US$ 11.53
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

J. SIEKMANN
Published by Springer (2012)
ISBN 10: 3642819540 ISBN 13: 9783642819544
New Paperback Quantity Available: 1
Seller
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2012. Paperback. Book Condition: NEW. 9783642819544 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0367719

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 128.03
Convert Currency

Add to Basket

Shipping: US$ 10.25
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Siekmann, JÃ rg
Published by Springer (2016)
ISBN 10: 3642819540 ISBN 13: 9783642819544
New Paperback Quantity Available: 1
Print on Demand
Seller
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9783642819544_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 134.13
Convert Currency

Add to Basket

Shipping: US$ 4.96
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Jorg Siekmann
Published by Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2012)
ISBN 10: 3642819540 ISBN 13: 9783642819544
New Quantity Available: > 20
Print on Demand
Seller
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2012. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9783642819544

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 149.79
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

5.

Siekmann, J. [Editor]; Wrightson, G. [Editor];
Published by Springer (2012)
ISBN 10: 3642819540 ISBN 13: 9783642819544
New Paperback Quantity Available: 10
Print on Demand
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Springer, 2012. Paperback. Book Condition: New. This item is printed on demand. Bookseller Inventory # INGM9783642819544

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 161.12
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

6.

Published by Springer
ISBN 10: 3642819540 ISBN 13: 9783642819544
New Paperback Quantity Available: 20
Seller
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Rating
[?]

Book Description Springer. Paperback. Book Condition: New. Paperback. 525 pages. Dimensions: 9.6in. x 6.6in. x 1.5in.Kind of ClUde but it UJorks boy it UJOrksl Alan Ner. ueH to Herb Simon C1rlistmas 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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Bookseller Inventory # 9783642819544

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 163.96
Convert Currency

Add to Basket

Shipping: US$ 3.95
Within U.S.A.
Destination, Rates & Speeds

7.

Published by Springer (2012)
ISBN 10: 3642819540 ISBN 13: 9783642819544
New Softcover Quantity Available: 15
Print on Demand
Seller
Rating
[?]

Book Description Springer, 2012. Book Condition: New. This item is printed on demand for shipment within 3 working days. Bookseller Inventory # LP9783642819544

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 163.68
Convert Currency

Add to Basket

Shipping: US$ 5.00
From Germany to U.S.A.
Destination, Rates & Speeds

8.

Published by Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany (2012)
ISBN 10: 3642819540 ISBN 13: 9783642819544
New Paperback Quantity Available: > 20
Print on Demand
Seller
The Book Depository EURO
(London, United Kingdom)
Rating
[?]

Book Description Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, 2012. Paperback. Book Condition: New. 244 x 168 mm. Language: English . Brand New Book ***** Print on Demand *****. 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. Softcover reprint of the original 1st ed. 1983. Bookseller Inventory # AAV9783642819544

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 206.08
Convert Currency

Add to Basket

Shipping: US$ 3.84
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

Published by Springer-Verlag (2012)
ISBN 10: 3642819540 ISBN 13: 9783642819544
New Paperback Quantity Available: 2
Seller
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Springer-Verlag, 2012. Paperback. Book Condition: Brand New. reprint edition. 537 pages. In Stock. Bookseller Inventory # x-3642819540

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 204.25
Convert Currency

Add to Basket

Shipping: US$ 7.69
From United Kingdom to U.S.A.
Destination, Rates & Speeds