Automated reasoning with analytic tableaux and related methods
Subtitle: international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings
By: Marta Cialdea Mayer, Fiora Pirri (eds.)
Contributors: Cialdea Mayer, Marta, 1956-; Pirri, Fiora, Dr.
Series: Lecture notes in computer science -- 2796. -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 2796.; Lecture notes in computer science
Publisher: Springer
Published: 2003
Place of publication: New York
Language: eng
Number of pages: 270
Subjects: Automatic theorem proving -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.