Title: Automated reasoning with analytic tableaux and related methods
First published: 1997
Subjects: Congresses, Parallel processing (Electronic computers), Automatic theorem proving, Artificial intelligence
LC classification: QA76.9.A96 T33 1997