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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha