G. Huet |
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 and Program Development: Coq’Art: The Calculus of Inductive Constructions (Buch) Sprache: English Veröffentlichung: Mai 2004 (Auf Bestellung) Einband: Gebunden | SFr. 117.00 bestellen | |
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Buch) Sprache: English Veröffentlichung: Dezember 2010 (Auf Bestellung) Einband: Kartoniert | SFr. 104.00 bestellen | |
Autor von: | ||
Fundamentals of Artificial Intelligence: An Advanced Course (Buch) Sprache: English Veröffentlichung: August 1986 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen | |
Seite 1 von 1 |