| _version_ |
1797089063768948736
|
| author2 |
Gottlob, G
|
| author_facet |
Gottlob, G
|
| collection |
OXFORD
|
| description |
|
| first_indexed |
2024-03-07T02:59:06Z
|
| format |
Conference item
|
| id |
oxford-uuid:b0536804-c189-4b11-a579-88424005bd05
|
| institution |
University of Oxford
|
| last_indexed |
2024-03-07T02:59:06Z
|
| publishDate |
1993
|
| publisher |
Springer
|
| record_format |
dspace
|
| spelling |
oxford-uuid:b0536804-c189-4b11-a579-88424005bd052022-03-27T03:55:45ZComputational Logic and Proof Theory‚ Third Kurt Gödel Colloquium‚ KGC'93‚ Brno‚ Czech Republic‚ August 24−27‚ 1993‚ ProceedingsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:b0536804-c189-4b11-a579-88424005bd05Department of Computer ScienceSpringer1993Gottlob, GLeitsch, AMundici, D
|
| spellingShingle |
Computational Logic and Proof Theory‚ Third Kurt Gödel Colloquium‚ KGC'93‚ Brno‚ Czech Republic‚ August 24−27‚ 1993‚ Proceedings
|
| title |
Computational Logic and Proof Theory‚ Third Kurt Gödel Colloquium‚ KGC'93‚ Brno‚ Czech Republic‚ August 24−27‚ 1993‚ Proceedings
|
| title_full |
Computational Logic and Proof Theory‚ Third Kurt Gödel Colloquium‚ KGC'93‚ Brno‚ Czech Republic‚ August 24−27‚ 1993‚ Proceedings
|
| title_fullStr |
Computational Logic and Proof Theory‚ Third Kurt Gödel Colloquium‚ KGC'93‚ Brno‚ Czech Republic‚ August 24−27‚ 1993‚ Proceedings
|
| title_full_unstemmed |
Computational Logic and Proof Theory‚ Third Kurt Gödel Colloquium‚ KGC'93‚ Brno‚ Czech Republic‚ August 24−27‚ 1993‚ Proceedings
|
| title_short |
Computational Logic and Proof Theory‚ Third Kurt Gödel Colloquium‚ KGC'93‚ Brno‚ Czech Republic‚ August 24−27‚ 1993‚ Proceedings
|
| title_sort |
computational logic and proof theory third kurt godel colloquium kgc 93 brno czech republic august 24 27 1993 proceedings
|