Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings - TABLEAUX 2005 (2005 : Koblenz, Germany); Beckert, Bernhard (Berlin ; New York : Springer, 2005)
Includes bibliographical references and index.
Also issued online.
Keywords: Automatic theorem proving -- Congresses