Automated Deduction - CADE-15
Download or Read eBook Automated Deduction - CADE-15 PDF written by Claude Kirchner and published by Springer Science & Business Media. This book was released on 1998-06-24 with total page 468 pages. Available in PDF, EPUB and Kindle.
| Author | : Claude Kirchner |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 468 |
| Release | : 1998-06-24 |
| ISBN-10 | : 3540646752 |
| ISBN-13 | : 9783540646754 |
| Rating | : 4/5 (52 Downloads) |
Book Synopsis Automated Deduction - CADE-15 by : Claude Kirchner
Book excerpt: This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998. The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.
