Computational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997. Proceedings /
Další autoři: |
Gottlob, Georg
(
Editor )
|
---|---|
Typ dokumentu: | Kniha |
Jazyk: |
angličtina |
Vydavatel: |
Berlin :
Springer-Verlag,
1997
|
Edice: |
Lecture Notes in Computer Science ;
1289 |
Předmět: | |