Automated Deduction - CADE-17
Subtitle: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings
By: edited by David McAllester.
Edition: 1st edition
Series: Lecture Notes in Artificial Intelligence #1831
Publisher: Springer
Published: June 22, 2000
Place of publication: Berlin; New York, USA
Language: eng
Format: Paperback
Number of pages: 512
ISBN-13: 9783540676645
Subjects: Artificial intelligence; Mathematical theory of computation; Logic, Symbolic and mathematical; Computers - General Information; Automata; Computer Logic; Computers; Logic, Symbolic and mathematic; Science/Mathematics; Logic Design; Congresses; Artificial Intelligence - General; Expert Systems; Automated deduction; Computers / Artificial Intelligence; automated reasoning; formal verification; model checking; resolution; Automatic theorem proving; Computer Science