Automated Deduction - CADE-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings (Lecture Notes in Computer Science, 1249)
Product details
| Management number | 232000627 | Release Date | 2026/06/18 | List Price | US$18.96 | Model Number | 232000627 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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. Read more
| ASIN | 3540631046 |
|---|---|
| ISBN10 | 9783540631040 |
| ISBN13 | 978-3540631040 |
| Edition | 1997th |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 1.09 x 9.25 inches |
| Item Weight | 1.48 pounds |
| Print length | 484 pages |
| Publication date | June 18, 1997 |
Bestseller ranking
Intelligence & Semantics
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form