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 - Bücher - Springer - 9789048150519 - 6. Dezember 2010
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

Preis
€ 193,49

Bestellware

Lieferdatum: ca. 6. - 13. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

Auch vorhanden als:

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

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 6. Dezember 2010
ISBN13 9789048150519
Verlag Springer
Seitenanzahl 434
Maße 160 × 240 × 23 mm   ·   625 g
Redakteur Bibel, Wolfgang
Redakteur Schmitt, P.H.

Weitere Titel von W Bibel

Alle anzeigen

Alle Titel von W Bibel ansehen ( u. a. Taschenbuch und Gebundenes Buch )