Computational logic and proof theory :  Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings / 
 Third Kurt Godel Colloquium, KGC'93 
Georg Gottlob, Alexander Leitsch and Daniele Mundici, eds. 
 - Berlin :  Springer,  1993 
 - 348 p. 
 - Lecture notes in computer science ;  no. 713 .
<br/><br/><label>ISBN: </label>3540571841 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming<br/>Automatic theorem proving
<br/><br/><label>LC Class. No.: </label>QA76.9 A96  / C66