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 - 9780792351290 - tiistai 30. kesäkuuta 1998
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 1998 edition

W Bibel

Hinta
Íkr 28.290,90

Tilattu etävarastosta

Arvioitu toimitus ke - to 16. - 24. 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 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, 1, black & white illustrations

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä tiistai 30. kesäkuuta 1998
ISBN13 9780792351290
Tuottaja Springer
Sivujen määrä 481
Mitta 160 × 242 × 33 mm   ·   884 g
Kieli English  
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 )