Kurt Gödel Colloquium (KGC)

The Kurt Gödel Society

5. KGC 1997: Vienna, Austria

Georg Gottlob, Alexander Leitsch, Daniele Mundici (Eds.): 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 Springer 1997, ISBN 3-540-63385-5
Contents

4. KGC 1995: Florence, Italy

3. KGC 1993: Brno, Czech Republic

Georg Gottlob, Alexander Leitsch, Daniele Mundici (Eds.): 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 Springer 1993, ISBN 3-540-57184-1
Contents

2. KGC 1991: Kichberg am Wechsel, Austra

1. KGC 1989: Salzburg, Austra

Last update Tue May 21 17:39:34 2013 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page