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%
Bestsellers
eText ISBN: 9781482233902
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
-38%
eText ISBN: 9780133838497
$59.98 Original price was: $59.98.$36.95Current price is: $36.95.
-38%
eText ISBN: 9781466566330
$58.32 Original price was: $58.32.$35.93Current price is: $35.93.
-38%
Bestsellers
eText ISBN: 9781423207740
$6.65 Original price was: $6.65.$4.10Current price is: $4.10.
-38%
eText ISBN: 9781786466112
$48.32 Original price was: $48.32.$29.77Current price is: $29.77.
-38%
Bestsellers
eText ISBN: 9781111787080
$51.65 Original price was: $51.65.$31.82Current price is: $31.82.
-38%
Bestsellers
eText ISBN: 9781440336683
$21.65 Original price was: $21.65.$13.34Current price is: $13.34.
-38%
Bestsellers
eText ISBN: 9780134527598
$64.98 Original price was: $64.98.$40.03Current price is: $40.03.
Reviews
There are no reviews yet.