Ihre Suche nach "Proof Assistants" ergab 5 Treffer
![: Intelligent Computer Mathematics, Buch](https://media1.jpc.de/image/w90/front/0/9783031669965.jpg)
Intelligent Computer Mathematics
lieferbar innerhalb 2-3 Wochen
Buch
EUR 72,27*
Artikel ist im Warenkorb
![: Logics and Type Systems in Theory and Practice, Buch](https://media1.jpc.de/image/w90/front/0/9783031617157.jpg)
Logics and Type Systems in Theory and Practice
lieferbar innerhalb 2-3 Wochen
Buch
EUR 131,42*
Artikel ist im Warenkorb
Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.