Computational logic and proof theory :  5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings / 
 KGC '97 
Georg Gottlob, Alexander Leitsch and Daniele Mundici, eds. 
 - Berlin :  Springer,  1997 
 - 348 p. 
 - Lecture notes in computer science ;  no. 1289 .
<br/><br/><label>ISBN: </label>3540633855 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving
<br/><br/><label>LC Class. No.: </label>QA76.9 A96  / K87 1997