Automated Deduction - CADE-16
Subtitle: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: July 30, 1999
Language: eng
Format: Paperback
Number of pages: 429
ISBN-13: 9783540662228
Subjects: Computer Programming; Knowledge-based systems / expert systems; Logic, Symbolic and mathematical; Computers - General Information; Automata; Mathematical And Symbolic Logic; Computers; Logic, Symbolic and mathematic; Computer Books: Database; General; Congresses; Artificial Intelligence - General; Expert Systems; Automated Deduction; Computers / Artificial Intelligence; Formal Reasonning; Formal Verification; Proof Theory; Theorem Proving; Automatic theorem proving; Computer Science
First sentence: Modern categorial grammars [8], which are intended to give a deductive account of grammatical composition, are based on substructural logics whose paradigm is the Lambek calculus [7].