Title: Automated reasoning with analytic tableaux and related methods
First published: 2000
Subjects: Congresses, Automatic theorem proving
LC classification: QA76.9.A96 T33 2000, QA76.9.A96 T33 2000