Automated reasoning with analytic tableaux and related methods
Subtitle: international conference, TABLEAUX '99, Saratoga Springs, NY, June 7-11, 1999 : proceedings
By: Niel V. Murray (ed.).
Contributors: Murray, Niel V.
Series: Lecture notes in computer science -- 1617 ; -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 1617.; Lecture notes in computer science
Publisher: Springer
Published: 1999
Place of publication: Berlin; New York
Language: eng
Number of pages: 323
Subjects: Automatic theorem proving -- Congresses.
Genres: Congresses.
Notes: Includes bibliographical references and index.