Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Automated Deduction -- CADE-23
23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings
Produkt bewerten
Verlag:
Springer EN Unsere-Artikel-Nr.: P35450263
EAN: 9783642224379
Erhältlich:
Nicht auf Lager
Zustellung: Do, 10.09.2026
Versand: Kostenlos
-17.1 %
CHF 70.–
CHF 58.–