Alexander Leitsch - Böcker
Visar alla böcker från författaren Alexander Leitsch.
9 produkter
9 produkter
2 069 kr
Skickas inom 10-15 vardagar
2 199 kr
Skickas inom 10-15 vardagar
Automated Reasoning
First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Häftad, Engelska, 2001
1 439 kr
Skickas inom 10-15 vardagar
Computational Logic and Proof Theory
Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings
Häftad, Engelska, 1993
699 kr
Skickas inom 10-15 vardagar
Computational Logic and Proof Theory
5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
Häftad, Engelska, 1997
699 kr
Skickas inom 10-15 vardagar
699 kr
Skickas inom 10-15 vardagar
2 069 kr
Skickas inom 10-15 vardagar
1 389 kr
Skickas inom 10-15 vardagar
1 389 kr
Skickas inom 10-15 vardagar