Suchergebnisse für "Georg Gottlob/Alexander Leitsch/Daniele Mundici"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Georg Gottlob/Alexander Leitsch/Daniele Mundici" gefunden.
Katalogsuche
Computational Logic and Proof Theory
5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29,1997, Proceedings, Lecture Notes in Computer Science 1289
Georg Gottlob/Alexander Leitsch/Daniele Mundici
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Computational Logic and Proof Theory
Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27,1993.Proceedings, Lecture Notes in Computer Science 713
Georg Gottlob/Alexander Leitsch/Daniele Mundici
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
