Automated Deduction - CADE-19
Subtitle: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence)
Edition: 1 edition
Publisher: Springer
Published: September 10, 2003
Language: eng
Format: Paperback
Number of pages: 503
ISBN-13: 9783540405597
Subjects: Artificial intelligence; Logic Design; Computers - General Information; Computers; Science/Mathematics; Programming Languages - General; Logic, Symbolic and mathematic; Artificial Intelligence - General; Computers / Artificial Intelligence; General; Automatic theorem proving; Congresses; Logic, Symbolic and mathematical