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.
| ISBN: | 9783540646754 |
| Publication date: | 24th June 1998 |
| Author: | International Conference on Automated Deduction, Claude Kirchner, H Kirchner |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 441 pages |
| Series: | Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence |
| Genres: |
Artificial intelligence Mathematical theory of computation |
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.
Automated Deduction, CADE-15 features in the following genres: Artificial intelligence, Mathematical theory of computation
Paperback. Not Available.
Automated Deduction, CADE-15 was written by International Conference on Automated Deduction, Claude Kirchner, H Kirchner and published by Springer an imprint of Springer Berlin Heidelberg
Automated Deduction, CADE-15 has 441 pages
Yes it is part of Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence series