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 - 9789048150502 - 9. 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
SFr. 168,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 8. - 16. 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

Auch vorhanden als:

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, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 9. Dezember 2010
ISBN13 9789048150502
Verlag Springer
Seitenanzahl 481
Maße 160 × 240 × 25 mm   ·   698 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 )