Automated Deduction - CADE-14
Download or Read eBook Automated Deduction - CADE-14 PDF written by William McCune and published by Springer. This book was released on 2006-04-11 with total page 469 pages. Available in PDF, EPUB and Kindle.
Author | : William McCune |
Publisher | : Springer |
Total Pages | : 469 |
Release | : 2006-04-11 |
ISBN-10 | : 9783540691402 |
ISBN-13 | : 3540691405 |
Rating | : 4/5 (02 Downloads) |
Book Synopsis Automated Deduction - CADE-14 by : William McCune
Book excerpt: 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.