Conference item
Computational Logic and Proof Theory‚ 5th Kurt Gödel Colloquium‚ KGC'97‚ Vienna‚ Austria‚ August 25−29‚ 1997‚ Proceedings
Actions
Bibliographic Details
- Publisher:
- Springer
- Volume:
- 1289
- Host title:
- Kurt Gödel Colloquium
- Publication date:
- 1997-01-01
- ISBN:
- 3540633855
Item Description
- UUID:
-
uuid:61227077-2a74-4b88-8b75-38ff495ceba3
- Local pid:
- cs:225
- Deposit date:
- 2015-03-31
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