Kurt Gödel Colloquium (KGC)
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. Springer 1997 Lecture Notes in Computer Science 1289 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. Springer 1993 Lecture Notes in Computer Science 713 ISBN 3-540-57184-1 [ contents ]
2. KGC 1991: Kichberg am Wechsel, Austra
1. KGC 1989: Salzburg, Austra
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team