Erhältlich:
Nicht auf Lager
Buch (Hardcover): Sachbuch
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
Produkt bewerten
Verlag:
Springer Unsere-Artikel-Nr.: P36315803
EAN: 9780792351290
Erhältlich:
Nicht auf Lager
Zustellung: Do, 27.08.2026
Versand: Kostenlos
-11.3 %
CHF 238.–
CHF 211.–