Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings 1994 Edition Contributor(s): Bundy, Alan (Editor) |
|
ISBN: 3540581561 ISBN-13: 9783540581567 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: June 1994 |
Additional Information |
BISAC Categories: - Computers | Expert Systems - Mathematics | Logic - Computers | Computer Science |
Dewey: 006.33 |
LCCN: 94017912 |
Series: Lecture Notes in Computer Science / Lecture Notes in Artific |
Physical Information: 1.73" H x 6.14" W x 9.21" (2.64 lbs) 852 pages |
Descriptions, Reviews, Etc. |
Publisher Description: This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994. The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem proving, natural systems, problem sets, and system descriptions. |