Automated Deduction - CADE-15
Subtitle: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science)
Contributors: Claude Kirchner (Editor); Helene Kirchner (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 31, 1998
Language: eng
Format: Paperback
Number of pages: 443
ISBN-13: 9783540646754
Subjects: Artificial intelligence; Logic, Symbolic and mathematic; Computers - General Information; Mathematical And Symbolic Logic; Automata; Computers; Logic Design; Science/Mathematics; Logic; Congresses; Artificial Intelligence - General; Expert Systems; Automated Reasoning; Computers / Artificial Intelligence; Formal Verification; Linear Logic; Nonclassical Logics; Theorem Proving; Logic, Symbolic and mathematical; Computer Science; Automatic theorem proving
First sentence: Linear logic has been described as a logic of state.