Conference item
Computational Logic and Proof Theory‚ 5th Kurt Gödel Colloquium‚ KGC'97‚ Vienna‚ Austria‚ August 25−29‚ 1997‚ Proceedings
Actions
Authors
Contributors
+ Georg Gottlob
Role:
Editor
+ Alexander Leitsch
Role:
Editor
+ Daniele Mundici
Role:
Editor
Bibliographic Details
- Publisher:
- Springer
- Volume:
- 1289
- Publication date:
- 1997-01-01
- URN:
-
uuid:61227077-2a74-4b88-8b75-38ff495ceba3
- Local pid:
- cs:225
- ISBN:
- 3-540-63385-5
Terms of use
- Copyright date:
- 1997
If you are the owner of this record, you can report an update to it here: Report update to this record