Automated Deduction - Cade-19: 19th International Conference on Automated Deduction Miami Beach, Fl, Usa, July 28 - August 2, 2003, Proceedings

by Franz Baader

This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July-2 August 2003 in Miami Beach, Florida, USA. They are divided into the following categories: - 4 contributions by invited speakers: one full paper and three short abstracts; - 29 accepted technical papers; - 7 descriptions of automated reasoning systems. These proceedings also contain a short description of the automated theor-...

• Format: Paperback
• Language: English
• ISBN: 3540405593
• ISBN13: 9783540405597
• Release Date: July 2003
• Publisher: Springer
• Length: 512 Pages
• Weight: 1.60 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"