New
Arrivals/Restock
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science Book 9195)
4.4 (117 items)
Limited Time SaleUntil the end
08
03
08
$22.47 cheaper than the new price!!
Free shipping for purchases over $99 ( Details )
Free cash-on-delivery fees for purchases over $99
Free cash-on-delivery fees for purchases over $99
See all stores
Please note that the sales price and tax displayed may differ between online and in-store. Also, the product may be out of stock in-store.
New $37.45
Product details
| Management number | 232087085 | Release Date | 2026/06/18 | List Price | $14.98 | Model Number | 232087085 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. Read more
| ASIN | B01327FVW4 |
|---|---|
| XRay | Not Enabled |
| ISBN13 | 978-3319214016 |
| Edition | 1st ed. 2015 |
| Language | English |
| File size | 30.1 MB |
| Page Flip | Enabled |
| Publisher | Springer |
| Word Wise | Not Enabled |
| Print length | 1298 pages |
| Accessibility | Learn more |
| Screen Reader | Supported |
| Publication date | July 30, 2015 |
| Enhanced typesetting | Enabled |
Logic
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form