Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Q1310291)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993. Proceedings |
scientific article; zbMATH DE number 479613
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993. Proceedings |
scientific article; zbMATH DE number 479613 |
Statements
Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993. Proceedings (English)
0 references
9 December 1993
0 references
Brno (Czech Republic)
0 references
Colloquium
0 references
Proceedings
0 references
KGC '93
0 references
Computational logic
0 references
Proof theory
0 references
Kurt Gödel Colloquium
0 references
0.9119882
0 references
0.8920153
0 references
0.88851345
0 references
0.8858371
0 references
0.8587662
0 references
