Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 - Artificial Intelligence - J Siekmann - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642819544 - tiistai 10. tammikuuta 2012
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 - Artificial Intelligence Softcover reprint of the original 1st ed. 1983 edition

J Siekmann

Hinta
CA$ 163,34

Tilattu etävarastosta

Arvioitu toimitus pe - ma 12. - 22. syys

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 - Artificial Intelligence Softcover reprint of the original 1st ed. 1983 edition

Gelernter finished a computer program to prove simple high school geometry theorems. 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.

546 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä tiistai 10. tammikuuta 2012
ISBN13 9783642819544
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 528
Mitta 170 × 244 × 28 mm   ·   857 g
Kieli German  
Toimittaja Siekmann, J.
Toimittaja Wrightson, G.
Näytä kaikki

Lisää tuotteita J Siekmann

Katso kaikki joka sisältää J Siekmann ( Esim. Paperback Book )