![Automated Deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings, PDF eBook Automated Deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings, PDF eBook](http://hive.dmmserver.com/media/640/97835403/9783540318644.jpg)
Automated Deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings PDF
Edited by Robert Nieuwenhuis
Part of the Lecture Notes in Computer Science series
Please note: eBooks can only be purchased with a UK issued credit card and all our eBooks (ePub and PDF) are DRM protected.
Information
-
Download - Immediately Available
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:25/08/2005
- Category:
- ISBN:9783540318644
Information
-
Download - Immediately Available
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:25/08/2005
- Category:
- ISBN:9783540318644