Gerwin Klein |
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: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17 (Buch) Sprache: English Veröffentlichung: August 2014 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen | |
Seite 1 von 1 |