Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings - TABLEAUX 2000 (2000 : St. Andrews, Scotland); Dyckhoff, Roy, 1948- (Berlin ; New York : Springer, 2000)
Includes bibliographical references and index.
Keywords: Automatic theorem proving -- Congresses