Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices
Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings eBook
$89.00 Original price was: $89.00.$16.00Current price is: $16.00.
Publisher: Springer
Print ISBN: 9783319630458, 3319630458
eText ISBN: 9783319630465, 3319630466
Copyright year: 2017
Format: Reflowable
eText ISBN: 9783319630465
SKU: 9783319630465
Category: Trending
Tags: Computers, Intelligence (AI) & Semantics
Print ISBN: 9783319630458
This book constitutes the proceeding of the 26th International Conference on Automated Deduction, CADE-26, held in Gothenburg, Sweden, in August 2017. The 26 full papers and 5 system descriptions presented were carefully reviewed and selected from 69 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience. The chapter ‘Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems’ is published open access under a CC BY 4.0 license.
Be the first to review “Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings eBook” Cancel reply
You must be logged in to post a review.
Related products
-38%
Bestsellers
eText ISBN: 9781423207733
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
Bestsellers
eText ISBN: 9781423207740
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
Bestsellers
eText ISBN: 9781423207788
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
Bestsellers
eText ISBN: 9781943872183
$53.32 Original price was: $53.32.$32.85Current price is: $32.85.
-38%
Bestsellers
eText ISBN: 9781119473879
$19.98 Original price was: $19.98.$12.31Current price is: $12.31.
-38%
Bestsellers
eText ISBN: 9780134527598
$64.98 Original price was: $64.98.$40.03Current price is: $40.03.
-38%
Bestsellers
eText ISBN: 9780735637887
$23.32 Original price was: $23.32.$14.37Current price is: $14.37.
-38%
Bestsellers
eText ISBN: 9780735637870
$19.98 Original price was: $19.98.$12.31Current price is: $12.31.
Reviews
There are no reviews yet.