An edition of Theorem proving with analytic tableaux and related methods (1996)
Theorem proving with analytic tableaux and related methods
5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings
By TABLEAUX '96 (1996 Terrasini, Italy),Italy) Tableaux 9 (1996 Terrasini,P. Miglioli
Publish Date
1996
Publisher
Springer
Language
eng
Pages
330
Description:
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