Herausgegeben von: Christine Paulin-Mohring
Hier finden Sie zu den besten Preisen alle Bücher, eBooks und Hörbücher von Christine Paulin-Mohring.
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
4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings
-16.7 %
CHF 57.50