G. Wrightson – författare
Visar alla böcker från författaren G. Wrightson. Handla med fri frakt och snabb leverans.
4 produkter
Automation of Reasoning
Classical Papers on Computational Logic 1957–1966
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 …
Automation of Reasoning
2: Classical Papers on Computational Logic 1967–1970
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 …
Automation of Reasoning
2: Classical Papers on Computational Logic 1967–1970
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 …
Macedon and its Influences
Narratives of Politics and War in Honor of Edward M. Anson
Inbunden, 2024
2463 kr
Lägg i varukorg
The papers in this volume, Macedon and Its Influences: Narratives of Politics and War in Honor of Edward M. Anson, explore themes especially prominent in Anson’s own extensive bibliography: warfare and political action in Macedonian history, especially during the reigns of Philip II and Alexander …
