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