Theorem proving with analytic tableaux and related methods :  5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings / 
P. Miglioli ... [et al.] 
 - Berlin :  Springer,  1996 
 - 329 p. 
 - Lecture notes in computer science.  Lecture notes in artificial intelligence ;  v. 1071 .
<br/><br/><label>ISBN: </label>3540612084 
<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 1996