Hans De Nivelle |
Sortierung: Titel - Veröffentlichung | ||
Sprachen: Alle - Deutsch - Englisch - Französisch - Spanisch | ||
Formate: Alle - Bücher - Hörspiele (CD) - Hörspiele (Kassette) | ||
Herausgeber von: | ||
Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, (Buch) Sprache: English Veröffentlichung: November 2015 (Auf Bestellung) Einband: Kartoniert | SFr. 69.00 bestellen | |
Seite 1 von 1 |