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 - 9789048150526 - 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 1st Ed. Softcover of Orig. Ed. 1998 edition

Hinta
€ 149,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 7. - 15. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

347 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 9. joulukuuta 2010
ISBN13 9789048150526
Tuottaja Springer
Sivujen määrä 347
Mitta 156 × 234 × 18 mm   ·   485 g
Toimittaja Bibel, Wolfgang
Toimittaja Schmitt, P. H.

Lisää tuotteita W Bibel

Näytä kaikki