Herausgegeben von: Julien Schmaltz
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Julien Schmaltz.
Bestellungen bis 15:00 Uhr für Produkte auf Lager erhalten Sie - ohne Versandgebühr - am nächsten Werktag.
1
Meistgekauft
Buch (Softcover): Fachbuch
Erhältlich:
Nicht auf Lager
Interactive Theorem Proving
Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings
-17.1 %
CHF 58.–