€ 62,49
Automated Deduction – CADE-25 — 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. An English-language digital edition by Amy P. Felty (Editor); Aart Middeldorp (Editor), available in PDF.
Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.The 36…
Catalogue preview, eBooks.com
| Author | Amy P. Felty (Editor); Aart Middeldorp (Editor) |
|---|---|
| Publisher | Springer International Publishing |
| Language | English |
| ISBN | 9783319214009, 9783319214016 |
| Format | |
| Publication date | July 30, 2015 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.