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 - 9789048150519 - maanantai 6. joulukuuta 2010
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

W Bibel
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

Hinta
€ 198,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 7. - 15. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

Löytyy myös muodossa:

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.

450 pages, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 6. joulukuuta 2010
ISBN13 9789048150519
Tuottaja Springer
Sivujen määrä 434
Mitta 160 × 240 × 23 mm   ·   625 g
Toimittaja Bibel, Wolfgang
Toimittaja Schmitt, P.H.

Lisää tuotteita W Bibel

Näytä kaikki

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