Alexander Leitsch - Böcker
Visar alla böcker från författaren Alexander Leitsch.
9 produkter
9 produkter
Del 31 - Applied Logic Series
Automated Model Building
Inbunden, Engelska, 2004
2 109 kr
Skickas inom 10-15 vardagar
Inbunden, Engelska, 2026
3 169 kr
Kommande
Häftad, Engelska, 2001
1 419 kr
Skickas inom 10-15 vardagar
Del 713 - Lecture Notes in Computer Science
Computational Logic and Proof Theory
Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
Häftad, Engelska, 1993
719 kr
Skickas inom 10-15 vardagar
Del 1289 - Lecture Notes in Computer Science
Computational Logic and Proof Theory
5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
Häftad, Engelska, 1997
719 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2011
719 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2010
2 109 kr
Skickas inom 10-15 vardagar
Del 34 - Trends in Logic
Methods of Cut-Elimination
Inbunden, Engelska, 2011
1 419 kr
Skickas inom 10-15 vardagar
Del 34 - Trends in Logic
Methods of Cut-Elimination
Häftad, Engelska, 2013
1 419 kr
Skickas inom 10-15 vardagar