Online Bücher bei 1Advd.ch bestellen

Alexander Leitsch

Suche speichern: Du erhälst eine eMail sobald ein neuer Artikel mit diesen Kriterien eingetragen wird

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: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Buch) Sprache: English Veröffentlichung: Juni 2001 (Auf Bestellung) Einband: Kartoniert	SFr. 158.00 bestellen
	Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Buch) Sprache: English Veröffentlichung: August 1997 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
	Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Buch) Sprache: English Veröffentlichung: August 1993 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
Autor von:
	Automated Model Building (Buch) Sprache: English Veröffentlichung: Dezember 2010 (Auf Bestellung) Einband: Kartoniert	SFr. 188.00 bestellen
	Automated Model Building (Buch) Sprache: English Veröffentlichung: September 2004 (Auf Bestellung) Einband: Gebunden	SFr. 203.00 bestellen
	Methods of Cut-Elimination (Buch) Sprache: English Veröffentlichung: Februar 2013 (Auf Bestellung) Einband: Kartoniert	SFr. 158.00 bestellen
	Methods of Cut-Elimination (Buch) Sprache: English Veröffentlichung: Januar 2011 (Auf Bestellung) Einband: Gebunden	SFr. 143.00 bestellen
	The Resolution Calculus (Buch) Sprache: English Veröffentlichung: September 2011 (Auf Bestellung) Einband: Kartoniert	SFr. 69.00 bestellen
Seite 1 von 1