Nimm mit uns Kontakt auf!

Hast du Fragen, Tipps, Lob oder Kritik? Deine Rückmeldung hilft uns, CeDe.ch noch besser zu machen. Wir freuen uns deshalb über jede Nachricht und beantworten alle E-Mails schnell, kompetent und gerne. Vielen Dank!

Vorname * Nachname * E-Mail * Kundennummer Bestellnummer Thema * Nachricht *

Dieses Formular sendet neben der aktuellen URL im Shop technische Details zu deinem Browser an uns. Das hilft uns ggf. dein Feedback besser zu verstehen. Detailierte Informationen dazu findest du in unserer Datenschutzerklärung .

Mit dem Absenden dieses Formulars erklärst du dich mit unseren Datenschutzbestimmungen einverstanden.

Diese Seite verwendet Cookies. Erfahren Sie in unserer Datenschutzerklärung mehr darüber, wie wir Cookies einsetzen und wie Sie Ihre Einstellungen ändern können. OK

Für Lieferungen ausserhalb der Schweiz und Deutschland bitte auf www.CeDe.com wechseln.

Close

Portofreier Versand aus Winterthur seit 1997

Wunschliste

Alexander Leitsch in Bücher - Alle

Artikel von Alexander Leitsch anzeigen im kompletten Shop

Alexander Leitsch als Autor/in Alle 7 Treffer anzeigen

David Michael Cerna, Alexander Leitsch, Ane Lolic, Anela Lolic - First-Order Schemata and Inductive Proof Analysis

David Michael Cerna, Alexander Leitsch, Ane Lolic, Anela Lolic First-Order Schemata and Inductive Proof Analysis Englisch 20.12.2025 Fester Einband CHF 199.00 6-7 Wochen

Matthia Baaz, Matthias Baaz, Alexander Leitsch - Methods of Cut-Elimination

Matthia Baaz, Matthias Baaz, Alexander Leitsch Methods of Cut-Elimination Englisch 11.02.2013 Taschenbuch CHF 135.00 6-7 Wochen

Alexander Leitsch - The Resolution Calculus

Alexander Leitsch The Resolution Calculus Englisch 04.12.2012 Taschenbuch CHF 69.00 4-7 Arbeitstage

Matthia Baaz, Matthias Baaz, Alexander Leitsch - Methods of Cut-Elimination

Matthia Baaz, Matthias Baaz, Alexander Leitsch Methods of Cut-Elimination Englisch 01.10.2011 Fester Einband CHF 135.00 6-7 Wochen

Ricard Caferra, Ricardo Caferra, Alexande Leitsch, Alexander Leitsch, Nicholas Peltier, … - Automated Model Building

Ricard Caferra, Ricardo Caferra, Alexande Leitsch, Alexander Leitsch, Nicholas Peltier, … Automated Model Building Englisch 18.10.2010 Taschenbuch CHF 189.00 6-7 Wochen

Ricardo Caferra, Alexander Leitsch, Nicolas Peltier - Automated Model Building

Ricardo Caferra, Alexander Leitsch, Nicolas Peltier Automated Model Building Englisch 01.01.2004 Fester Einband CHF 189.00 6-7 Wochen

Alexander Leitsch - The Resolution Calculus

Alexander Leitsch The Resolution Calculus Englisch 01.01.1997 Fester Einband vergriffen

Alexander Leitsch als Mitarbeiter/in Alle 4 Treffer anzeigen

Ricard Caferra, Ricardo Caferra, Alexande Leitsch, Alexander Leitsch, Nicholas Peltier, … - Automated Model Building

Ricard Caferra, Ricardo Caferra, Alexande Leitsch, Alexander Leitsch, Nicholas Peltier, … Automated Model Building Englisch 18.10.2010 Taschenbuch CHF 189.00 6-7 Wochen

Georg Gottlob, Alexande Leitsch, Alexander Leitsch, Daniele Mundici - Computational Logic and Proof Theory Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings

Georg Gottlob, Alexande Leitsch, Alexander Leitsch, Daniele Mundici Computational Logic and Proof Theory Englisch 29.06.2009 Taschenbuch CHF 69.00 1-2 Wochen

R. Gore, Rajeev Gore, A. Leitsch, Alexande Leitsch, Alexander Leitsch, … - Automated Reasoning First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

R. Gore, Rajeev Gore, A. Leitsch, Alexande Leitsch, Alexander Leitsch, … Automated Reasoning Englisch 19.02.2009 Taschenbuch CHF 135.00 6-7 Wochen

Georg Gottlob, Alexande Leitsch, Alexander Leitsch, Daniele Mundici - Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997. Proceedings

Georg Gottlob, Alexande Leitsch, Alexander Leitsch, Daniele Mundici Computational Logic and Proof Theory Englisch 01.01.1960 Taschenbuch CHF 69.00 1-2 Wochen