Automated Deduction – CADE-20
Author | : Robert Nieuwenhuis |
Publisher | : Springer |
Total Pages | : 470 |
Release | : 2005-08-25 |
ISBN-10 | : 9783540318644 |
ISBN-13 | : 354031864X |
Rating | : 4/5 (64X Downloads) |
Book Synopsis Automated Deduction – CADE-20 by : Robert Nieuwenhuis
Download or read book Automated Deduction – CADE-20 written by Robert Nieuwenhuis and published by Springer. This book was released on 2005-08-25 with total page 470 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the proceedings of the 20th International Conference on Automated Deduction (CADE-20). It was held July 22–27, 2005 in Tallinn, Estonia...