This volume constitutes the refereed proceedings of the 16th International Conference on Automated Deduction held in Italy in July 1999. It addresses recent issues in automated deduction and theorem proving, ranging from logical foundations to deduction systems design and evaluation.
| ISBN: | 9783540662228 |
| Publication date: | 23rd June 1999 |
| Author: | International Conference on Automated Deduction, H Ganzinger |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 428 pages |
| Series: | Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence |
| Genres: |
Artificial intelligence Software Engineering Mathematical theory of computation |
This volume constitutes the refereed proceedings of the 16th International Conference on Automated Deduction held in Italy in July 1999. It addresses recent issues in automated deduction and theorem proving, ranging from logical foundations to deduction systems design and evaluation.
Automated Deduction - CADE 16 features in the following genres: Artificial intelligence, Software Engineering, Mathematical theory of computation
Paperback. Not Available.
Automated Deduction - CADE 16 was written by International Conference on Automated Deduction, H Ganzinger and published by Springer an imprint of Springer Berlin Heidelberg
Automated Deduction - CADE 16 has 428 pages
Yes it is part of Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence series