Back to Search
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

  • Cite

  • Print

Authors

Contributors

Role:
Editor
Role:
Editor
Publisher:
Springer
Volume:
1289
Publication date:
1997
URN:
uuid:61227077-2a74-4b88-8b75-38ff495ceba3
Local pid:
cs:225
ISBN:
3-540-63385-5

Terms of use

Metrics

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

TO TOP