Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Artificial Intelligence)
$47.95
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by armstead-watson.com
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
$47.95
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by armstead-watson.com
Free 30-day returns Details
Product details
| Management number | 233299722 | Release Date | 2026/06/27 | List Price | $19.18 | Model Number | 233299722 | ||
|---|---|---|---|---|---|---|---|---|---|
| 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
| ISBN10 | 3319214004 |
|---|---|
| ISBN13 | 978-3319214009 |
| Edition | 1st ed. 2015 |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 1.51 x 9.25 inches |
| Item Weight | 21.9 pounds |
| Print length | 668 pages |
| Publication date | July 30, 2015 |
Bestseller ranking
Intelligence & Semantics
Customers who viewed this product also viewed
Battery Chargers
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