Add Item to wish list Add Item to wish list

By J. Siekmann (Editor), G. Wrightson (Editor)

Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More

Formats

In stock

This item is currently out of stock online.

Free standard shipping on orders over $60

Select a store to view item availability.

Overview

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

Automation of Reasoning: Classical Papers on Computational Logic 1957-1966

Overview

Product Details

Categories