Constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed.
| ISBN: | 9783540280057 |
| Publication date: | 14th July 2005 |
| Author: | Robert Nieuwenhuis |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 466 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Artificial intelligence Software Engineering Mathematical theory of computation |
Constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions.
Automated Deduction - CADE-20 Lecture Notes in Artificial Intelligence features in the following genres: Artificial intelligence, Software Engineering, Mathematical theory of computation
Paperback. Not Available.
Automated Deduction - CADE-20 Lecture Notes in Artificial Intelligence was written by Robert Nieuwenhuis and published by Springer an imprint of Springer Berlin Heidelberg
Automated Deduction - CADE-20 Lecture Notes in Artificial Intelligence has 466 pages
Yes it is part of Lecture Notes in Computer Science series