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

W Bibel

Hinta
R$ 1.017,39

Tilattu etävarastosta

Arvioitu toimitus ti - ke 15. - 23. heinä
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 1st Ed. Softcover of Orig. Ed. 1998 edition

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.

Näytä kaikki

Lisää tuotteita W Bibel