Theorem Proving With Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini, Palermo, Italy, 15-17th, 1996 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Publisher: Springer
Published: June 1996
Language: eng
Format: Paperback
Number of pages: 330
ISBN-13: 9783540612087
Subjects: Artificial intelligence; Mathematical logic; Mathematical theory of computation; Mathematics; Computers; Automata; Computer Logic; Nonclassical mathematical logic; Logic, Symbolic and mathematical; Science/Mathematics; Logic, Symbolic and mathematic; Congresses; Artificial Intelligence - General; Logic; Nonclassical mathematical logi; Computer Science; Automatic theorem proving