Title: Theorem proving with analytic tableaux and related methods
First published: 1995
Subjects: Automatic theorem proving, Congresses, Logic, Symbolic and mathematical, Nonclassical mathematical logic, Symbolic and mathematical Logic, Mathematical Logic and Formal Languages, Computer Science, Mathematical Logic and Foundations, Artificial intelligence, Artificial Intelligence (incl. Robotics)
LC classification: QA76.9.A96 T33 1995