Automated reasoning with analytic tableaux and related methods
Subtitle: international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings
By: Nicola Olivetti (ed.).
Contributors: Olivetti, Nicola.
Series: Lecture notes in computer science -- 4548. -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 4548.; Lecture notes in computer science
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 244
ISBN-13: 9783540730989
Subjects: Automatic theorem proving -- Congresses
Genres: Congresses.
Other titles: TABLEAUX 2007.
Notes: Includes bibliographical references and author index.