| Automated Deduction - Cade-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Pro 1997 Edition Contributor(s): McCune, William (Editor) |
|
 |
ISBN: 3540631046 ISBN-13: 9783540631040 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: June 1997 Annotation: 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. |
| Additional Information |
| BISAC Categories: - Computers | Expert Systems - Mathematics | Logic - Computers | Information Technology |
| Dewey: 006.333 |
| LCCN: 97020663 |
| Physical Information: 0.97" H x 6.14" W x 9.21" (1.48 lbs) 469 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |