Theorem proving with analytic tableaux and related methods

Name: Theorem proving with analytic tableaux and related methods
Author: TABLEAUX '96 (1996 Terrasini, Italy), Italy) Tableaux 9 (1996 Terrasini, P. Miglioli

by TABLEAUX '96 (1996 Terrasini, Italy), Italy) Tableaux 9 (1996 Terrasini, P. Miglioli · 1996

Cover of Theorem proving with analytic tableaux and related methods

No description available.

Automatic theorem provingCongressesLogic, Symbolic and mathematicalNonclassical mathematical logicSymbolic and mathematical LogicArtificial intelligenceMathematical logicMathematical theory of computationMathematicsComputersAutomataComputer Logic