J. Siekmann – författare

Visar alla böcker från författaren J. Siekmann. Handla med fri frakt och snabb leverans.

3 produkter

1. 

   Automation of Reasoning

   Classical Papers on Computational Logic 1957–1966

   Av J. Siekmann, G. Wrightson

   Häftad, 2012

   1098 kr

   Lägg i varukorg

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

2. 

   Automation of Reasoning

   2: Classical Papers on Computational Logic 1967–1970

   Av G. Wrightson, J. Siekmann

   E-bok, 2012

   1459 kr

   Lägg i varukorg

   "Kind of crude, but it works, boy, it works!" AZan NeweZZ to Herb Simon, Christmas 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 …

3. 

   Automation of Reasoning

   2: Classical Papers on Computational Logic 1967–1970

   Av J. Siekmann, G. Wrightson

   Häftad, 2012

   1098 kr

   Lägg i varukorg

   "Kind of crude, but it works, boy, it works!" AZan NeweZZ to Herb Simon, Christmas 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 …