Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer Science, 3632)
I will be using this book for:
Log in to remove ads

Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer Science, 3632)

by Robert Nieuwenhuis

Computer Science artificial intelligence Logic Conference Proceedings Automated Reasoning
1 Star 2 Star 3 Star 4 Star 5 Star
0.0 out of 5 stars (0 ratings)
View on Amazon View on BAM Trade it in for cash!

Automated Deduction – CADE-20 collects the proceedings of the 20th International Conference on Automated Deduction, held in Tallinn, Estonia, in July 2005. Published in the Lecture Notes in Computer Science series, it offers a scholarly resource focused on automated reasoning and related areas of computer science.

ISBN-13 9783540280057 ASIN 3540280057 Views 49 Publisher Springer Year 2005 Edition 2005 ed. Format Paperback Product Group Book Pages 480 Adult No Created April 24, 2026 Updated November 03, 2026
About This Book

This volume presents the proceedings of the 20th International Conference on Automated Deduction, known as CADE-20.

The conference took place in Tallinn, Estonia, from July 22–27, 2005.

It is part of the Lecture Notes in Computer Science series and focuses on automated deduction within the broader fields of computer science and mathematical reasoning.

Edited by Robert Nieuwenhuis, this reference is intended for academic, research, and educational settings.

Reviews

No reviews yet. Be the first to review this book!

Write a Review
I will be using this book for: