Automated Reasoning with Analytic Tableaux and Related Methods
Subtitle: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: October 6, 2005
Language: eng
Format: Paperback
Number of pages: 343
ISBN-13: 9783540289319
Subjects: Knowledge-based systems / expert systems; Technology; Logic; Computers - General Information; Science/Mathematics; Artificial Intelligence - General; Programming - Software Development; AI logics; Computers / Artificial Intelligence; automated deduction; automated reasoning; binary decision diagrams; conditional logics; formal verification; Electronics - General; Automatic theorem proving; Congresses; Congráes; Dâemonstration automatique; Thâeoráemes