Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series - W Bibel - Kirjat - Springer - 9789048150502 - torstai 9. joulukuuta 2010
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series Softcover reprint of hardcover 1st ed. 1998 edition

W Bibel

Hinta
zł 845,90

Tilattu etävarastosta

Arvioitu toimitus ma - ti 14. - 22. heinä

Asiakkaamme sanovat:

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

Löytyy myös muodossa:

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series Softcover reprint of hardcover 1st ed. 1998 edition

rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.

481 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 9. joulukuuta 2010
ISBN13 9789048150502
Tuottaja Springer
Sivujen määrä 481
Mitta 160 × 240 × 25 mm   ·   698 g
Toimittaja Bibel, Wolfgang
Toimittaja Schmitt, P.H.
Näytä kaikki

Lisää tuotteita W Bibel

Katso kaikki joka sisältää W Bibel ( Esim. Paperback Book Ja Hardcover Book )