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-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 – 17, 1997, Proceedings eBook
$109.00 Original price was: $109.00.$23.00Current price is: $23.00.
Publisher: Springer
Print ISBN: 9783540631040, 3540631046
eText ISBN: 9783540691402, 3540691405
Copyright year: 1997
Format: Fixed
eText ISBN: 9783540691402
SKU: 9783540691402
Category: Trending
Tags: Computers, Intelligence (AI) & Semantics
Print ISBN: 9783540631040
This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997. The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system descriptions and two invited contributions. The papers cover a wide range of current issues in the area including resolution, term rewriting, unification theory, induction, high-order logics, nonstandard logics, AI methods, and applications to software verification, geometry, and social science.
Be the first to review “Automated Deduction – CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 – 17, 1997, Proceedings eBook” Cancel reply
You must be logged in to post a review.
Related products
-38%
eText ISBN: 9781118890868
$76.65 Original price was: $76.65.$47.22Current price is: $47.22.
-38%
Bestsellers
eText ISBN: 9780203489802
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
-38%
Bestsellers
eText ISBN: 9781119473879
$19.98 Original price was: $19.98.$12.31Current price is: $12.31.
-38%
Bestsellers
eText ISBN: 9781482233902
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
-38%
eText ISBN: 9781466566330
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
-38%
Bestsellers
eText ISBN: 9780735637832
$23.32 Original price was: $23.32.$14.37Current price is: $14.37.
-38%
Bestsellers
eText ISBN: 9781111787080
$51.65 Original price was: $51.65.$31.82Current price is: $31.82.
-38%
eText ISBN: 9781466565043
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
Reviews
There are no reviews yet.