Automated reasoning with analytic tableaux and related methods
Subtitle: international conference, TABLEAUX '99, Saratoga Springs, NY, June 7-11, 1999 : proceedings
By: Neil V. Murray (ed.).
Contributors: Murray, Neil V.; TABLEAUX'99 (Conference) (1999 : Saratoga Springs, N.Y.)
Series: Lecture notes in computer science -- 1617
Publisher: Springer
Published: 1999
Place of publication: Berlin; London
Language: eng
Number of pages: 323
Subjects: Automatic theorem proving -- Congresses.
Genres: Congresses.
Notes: "This volume contains a selection of papers presented at the International Conference on Analytic Tableaux and Related Mrhtods (TABLEAUX'99) held on June 7-11, 1999 at the Inn at Saratoga, Saratoga Springs, NY, USA"--foreword.

Includes bibliographical references.