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 - 9780792351306 - 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
A$ 356,39

Tilattu etävarastosta

Arvioitu toimitus ma - ti 15. - 23. syys

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

BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.

448 pages, biography

Media Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä tiistai 30. kesäkuuta 1998
ISBN13 9780792351306
Tuottaja Springer
Sivujen määrä 434
Mitta 160 × 241 × 29 mm   ·   807 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 )