KGC
Kurt Gödel Colloquium on Computational Logic and Proof Theory
-
1993
KGC 1993
- 24-27 August
- Brno, Czech Republic
-
Computational Logic and Proof Theory
35 Papers
1 Volume