Automated reasoning with analytic tableaux and related methods
Subtitle: 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011 : proceedings
By: Kai Brünnler, George Metcalfe (eds.)
Contributors: Brünnler, Kai; Metcalfe, George
Series: Lecture notes in computer science -- 6793. -- Lecture notes in artificial intelligence; LNCS sublibrary. SL 7, Artificial intelligence; Lecture notes in computer science -- 6793.; Lecture notes in computer science; LNCS sublibrary
Publisher: Springer
Published: 2011
Place of publication: Berlin; New York
Language: eng
Number of pages: 277
ISBN-13: 9783642221187; 9783642221194
Subjects: Congresses; Automatic theorem proving
Other titles: TABLEAUX 2011
Notes: International conference proceedings.

Includes bibliographical references and author index.