Automated Reasoning with Analytic Tableaux and Related Methods
Subtitle: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: May 29, 1997
Language: eng
Format: Paperback
Number of pages: 373
ISBN-13: 9783540629207
Subjects: Computer architecture & logic design; Knowledge-based systems / expert systems; Parallel processing (Electroni; Computers - General Information; Automata; Parallel Processing; Computers; Business/Economics; Logic; Congresses; Artificial Intelligence - General; Expert Systems; Automated Reasoning; Automatisches Schließen; Computers / Artificial Intelligence; Deduction Systems; Deduktionssysteme; Formal Logics; Formale Logik; Automatic theorem proving; Parallel processing (Electronic computers); Computer Science