Automated reasoning with analytic tableaux and related methods
Subtitle: international conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005 : proceedings
By: Bernhard Beckert (ed.).
Contributors: Beckert, Bernhard.
Series: Lecture notes in computer science -- 3702. -- Lecture notes in artifical intelligence; Lecture notes in computer science -- 3702.; Lecture notes in computer science
Publisher: Springer
Published: 2005
Place of publication: Berlin; New York
Language: eng
Number of pages: 342
Subjects: Automatic theorem proving -- Congresses
Genres: Congresses.
Other titles: TABLEAUX 2005.
Notes: Includes bibliographical references and index.

Also issued online.