Theorem proving with analytic tableaux and related methods :  4th international workshop, TABLEAUX '95, Schloss Rheinfel, St. Goar, Germany, May 7-10, 1995 : proceedings / 
Peter Baumgartner, Reiner Hahnle and Joachim Posegga, eds. 
 - Berlin :  Springer,  1995 
 - 352 p. 
 - Lecture notes in artificial intelligence ;  no. 918 .
<br/><br/><label>ISBN: </label>3540593381 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving--Congresses<br/>Nonclassical mathematical logic--Congresses<br/>Logic, Symbolic and mathematical--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.9 A96  / T33 1995