Stock image for illustration purposes only - book cover, edition or condition may vary.
Automation of Reasoning
. Ed(S): Siekmann, Jorg; Wrightson, Graham
€ 124.90
FREE Delivery in Ireland
Description for Automation of Reasoning
Paperback. Editor(s): Siekmann, Jorg; Wrightson, Graham. Series: Symbolic computation. Num Pages: 528 pages, biography. BIC Classification: PBC; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 28. Weight in Grams: 925.
"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 ... Read more
"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 ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
528
Condition
New
Series
Symbolic computation
Number of Pages
528
Place of Publication
Berlin, Germany
ISBN
9783642819544
SKU
V9783642819544
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Automation of Reasoning