Gottlob, Georg Leitsch, Alexander Mundici, Daniele Eds.,
Computational logic and proof theory: 5th Kurt G�del Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings - Berlin Springer 1997 - 348 - Lecture notes in computer science ; 01289 .
3540633855
Automatic theorem proving
Congresses.
Logic, Symbolic and mathematical
Congresses.
681 LNCS
Computational logic and proof theory: 5th Kurt G�del Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings - Berlin Springer 1997 - 348 - Lecture notes in computer science ; 01289 .
3540633855
Automatic theorem proving
Congresses.
Logic, Symbolic and mathematical
Congresses.
681 LNCS