TY  - BOOK
AU  - Gottlob,Georg
AU  - Leitsch,Alexander
AU  - Mundici,Daniele
TI  - Computational logic and proof theory: Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings 
SN  - 3540571841
AV  - QA76.9 A96 C66
PY  - 1993///
CY  - Berlin
PB  - Springer
KW  - Logic programming
KW  - Automatic theorem proving
ER  -