Computational Logic and Proof Theory‚ 5th Kurt Gödel Colloquium‚ KGC'97‚ Vienna‚ Austria‚ August 25−29‚ 1997‚ Proceedings
| Other Authors: | |
|---|---|
| Format: | Conference item |
| Published: |
Springer
1997
|
| Other Authors: | |
|---|---|
| Format: | Conference item |
| Published: |
Springer
1997
|