Title: Theorem proving with analytic tableaux and related methods
First published: 1996
Subjects: Automatic theorem proving, Congresses, Logic, Symbolic and mathematical, Nonclassical mathematical logic, Symbolic and mathematical Logic, Artificial intelligence, Mathematical logic, Mathematical theory of computation, Mathematics, Computers, Automata, Computer Logic, Science/Mathematics, Logic, Symbolic and mathematic, Artificial Intelligence - General, Logic, Nonclassical mathematical logi, Computer Science
LC classification: QA76.9.A96 T33 1996