Automated Deduction – CADE-20
- Robert Nieuwenhuis
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹3,503Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books ₹43.44Audible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Automated Deduction – CADE-20 is written by Robert Nieuwenhuis and published by Springer. It's available with International Standard Book Number or ISBN identification 354031864X (ISBN 10) and 9783540318644 (ISBN 13).
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...
