Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings - TABLEAUX '99 (1999 : Saratoga Springs, N.Y.); Murray, Neil V. (Berlin ; New York : Springer, 1999)
Includes bibliographical references.
Keywords: Automatic theorem proving -- Congresses