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)
View all copies of this ISBN edition:
 
 

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

Top Search Results from the AbeBooks Marketplace

1.

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. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9783642819544_lsuk

More information about this seller | Contact this seller

Buy New
US$ 138.44
Convert currency

Add to Basket

Shipping: US$ 5.12
From United Kingdom to U.S.A.
Destination, rates & speeds

2.

Siekmann, J.
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. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783642819544

More information about this seller | Contact this seller

Buy New
US$ 149.79
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

3.

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

Book Description Springer, 2012. Paperback. Condition: New. Seller Inventory # INGM9783642819544

More information about this seller | Contact this seller

Buy New
US$ 172.62
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

4.

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. Condition: NEW. 9783642819544 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0367719

More information about this seller | Contact this seller

Buy New
US$ 170.84
Convert currency

Add to Basket

Shipping: US$ 10.55
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

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. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783642819544

More information about this seller | Contact this seller

Buy New
US$ 172.44
Convert currency

Add to Basket

Shipping: US$ 11.90
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

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

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

More information about this seller | Contact this seller

Buy New
US$ 182.74
Convert currency

Add to Basket

Shipping: US$ 3.21
From Germany to U.S.A.
Destination, rates & speeds

7.

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. Condition: New. 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. Seller Inventory # 9783642819544

More information about this seller | Contact this seller

Buy New
US$ 216.96
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

8.

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. Condition: Brand New. reprint edition. 537 pages. In Stock. Seller Inventory # x-3642819540

More information about this seller | Contact this seller

Buy New
US$ 224.40
Convert currency

Add to Basket

Shipping: US$ 9.92
From United Kingdom to U.S.A.
Destination, rates & speeds

9.

Published by Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany (2012)
ISBN 10: 3642819540 ISBN 13: 9783642819544
New Paperback Quantity Available: 10
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. Condition: New. 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. Seller Inventory # AAV9783642819544

More information about this seller | Contact this seller

Buy New
US$ 249.01
Convert currency

Add to Basket

Shipping: US$ 3.97
From United Kingdom to U.S.A.
Destination, rates & speeds