Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 - Symbolic Computation - J Siekmann - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642819575 - torstai 9. helmikuuta 2012
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 - Symbolic Computation Softcover reprint of the original 1st ed. 1983 edition

J Siekmann

Hinta
R$ 679,69

Tilattu etävarastosta

Arvioitu toimitus ma - ti 8. - 16. syys

Asiakkaamme sanovat:

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

Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970 - Symbolic Computation Softcover reprint of the original 1st ed. 1983 edition

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.

656 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 9. helmikuuta 2012
ISBN13 9783642819575
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 637
Mitta 170 × 244 × 33 mm   ·   1,03 kg
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 )