Automated reasoning with analytic tableaux and related methods
Subtitle: international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings
By: Roy Dyckhoff (ed.).
Contributors: Dyckhoff, Roy, 1948-
Series: Lecture notes in computer science -- 1847. -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 1847.; Lecture notes in computer science
Publisher: Springer
Published: 2000
Place of publication: New York
Language: eng
Number of pages: 440
Subjects: Automatic theorem proving -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.