Mauricio Ayala-Rincón |
Sortierung: Titel - Veröffentlichung | ||
Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch | ||
Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) | ||
Herausgeber von: | ||
Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings (Buch) Sprache: English Veröffentlichung: August 2017 (Auf Bestellung) Einband: Kartoniert | SFr. 110.00 bestellen | |
Autor von: | ||
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Buch) Sprache: English Veröffentlichung: Februar 2017 (Auf Bestellung) Einband: Kartoniert | SFr. 63.00 bestellen | |
Seite 1 von 1 |