Conference item icon

Conference item

Computational Logic and Proof Theory‚ 5th Kurt Gödel Colloquium‚ KGC'97‚ Vienna‚ Austria‚ August 25−29‚ 1997‚ Proceedings

Actions


Authors


Contributors

Role:
Editor
Role:
Editor
Role:
Editor
Publisher:
Springer
Volume:
1289
Host title:
Kurt Gödel Colloquium
Publication date:
1997-01-01
ISBN:
3540633855
UUID:
uuid:61227077-2a74-4b88-8b75-38ff495ceba3
Local pid:
cs:225
Deposit date:
2015-03-31

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP