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