Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Computer Science Book 9195)
$37.45
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by theroostretreat.co.uk
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
$37.45
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by theroostretreat.co.uk
Free 30-day returns Details
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 |
Bestseller ranking
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