Computational Logic and Proof Theory‚ 5th Kurt Gödel Colloquium‚ KGC'97‚ Vienna‚ Austria‚ August 25−29‚ 1997‚ Proceedings
Details
| Book Title |
Kurt Gödel Colloquium |
| Editor |
Georg Gottlob and Alexander Leitsch and Daniele Mundici |
| ISBN |
3−540−63385−5 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
1289 |
| Year |
1997 |
Links
Related pages
|
People |