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 - 9789048150526 - 9. Dezember 2010
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1st Ed. Softcover of Orig. Ed. 1998 edition

Preis
SFr. 126,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 8. - 16. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen

Auch vorhanden als:

347 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 9. Dezember 2010
ISBN13 9789048150526
Verlag Springer
Seitenanzahl 347
Maße 156 × 234 × 18 mm   ·   485 g
Redakteur Bibel, Wolfgang
Redakteur Schmitt, P. H.

Weitere Titel von W Bibel

Alle anzeigen