Stop the war!
Остановите войну!
for scientists:
default search action
Kurt Gödel Colloquium (KGC)
5. KGC 1997: Vienna, Austria
- Georg Gottlob, Alexander Leitsch, Daniele Mundici:
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:
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, Austria
1. KGC 1989: Salzburg, Austria
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.