TY  - BOOK
AU  - Gottlob, Georg
AU  - Leitsch, Alexander
AU  - Mundici, Daniele Eds.,
TI  - Computational logic and proof theory: 5th Kurt G�del Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings
SN  - 3540633855
CY  - Berlin
KW  - Automatic theorem proving
KW  - Congresses
KW  - Logic, Symbolic and mathematical
ER  -