Automated Deduction - CADE-14
- William McCune
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹5,419Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books ₹43.44Audible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Automated Deduction - CADE-14 is written by William McCune and published by Springer. It's available with International Standard Book Number or ISBN identification 3540691405 (ISBN 10) and 9783540691402 (ISBN 13).
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.
