Automated Reasoning with Analytic Tableaux and Related Methods :  International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings  [electronic resource] / 
 TABLEAUX 2005 
edited by Bernhard Beckert. 
 - Berlin Heidelberg :  Springer-Verlag GmbH.,  2005. 
 - 1online resource (xiii, 342 p.) :  ill., digital ;  24 cm. 
 - Lecture Notes in Computer Science,  3702  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783540318224 (electronic bk.) 9783540289319 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving--Congresses.<br/>Computer science.
<br/><br/><label>Dewey Class. No.: </label>006.3