New
Arrivals/Restock
Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings (Lecture Notes in Artificial Intelligence)
4.1 (89 items)
Limited Time SaleUntil the end
05
08
36
$28.77 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 $47.95
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
Computing, Internet & Digital Media
![Vision d'IA: Créer l'Art et le Cinéma de demain avec des prompts puissants (L'intelligence Artificielle c'est aujourd'hui !) (French Edition) [Print Replica] Kindle Edition](https://m.media-amazon.com/images/I/81gV11pybgL._SL1500_.jpg)
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