Automation of Reasoning: Classical Papers on Computational Logic 1957-1966 - Artificial Intelligence - J Siekmann - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783642819544 - 10. januar 2012
Ved uoverensstemmelse mellem cover og titel gælder titel

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

J Siekmann

Pris
Íkr 16.511,25

Bestilles fra fjernlager

Forventes klar til forsendelse 2. - 8. sep.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 10. januar 2012
ISBN13 9783642819544
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 528
Mål 170 × 244 × 28 mm   ·   857 g
Sprog Tysk  
Klipper/redaktør Siekmann, J.
Klipper/redaktør Wrightson, G.
Vis alle

Mere med J Siekmann

Se alt med J Siekmann ( f.eks. Paperback Bog )