Automated Deduction – CADE-20
| Author | : Robert Nieuwenhuis |
| Publisher | : Springer |
| Total Pages | : 466 |
| 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 466 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...