TY  - BOOK
AU  - Gottlob,Georg
AU  - Leitsch,Alexander
AU  - Mundici,Daniele
ED  - Kurt GÃ¶del Colloquium
TI  - Computational logic and proof theory: 5th Kurt GÃ¶del Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings 
SN  - 3540633855
AV  - QA76.9 A96 K87 1997
PY  - 1997///
CY  - Berlin
PB  - Springer
KW  - Automatic theorem proving
ER  -