Automated Deduction - CADE-18
Subtitle: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: September 17, 2002
Language: eng
Format: Paperback
Number of pages: 534
ISBN-13: 9783540439318
Subjects: Knowledge-based systems / expert systems; Logic, Symbolic and mathematical; Computers - General Information; Automata; Computer Logic; Computers; Logic, Symbolic and mathematic; Computer Books: General; General; Congresses; Artificial Intelligence - General; Expert Systems; Computers / Artificial Intelligence; automated code certification; automated deduction; automated reasoning; decision procedures; formal verification; meta theory; model checking; Automatic theorem proving