Automated Deduction – CADE-20

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


Automated Deduction – CADE-20 Related Books