Automated Deduction â CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26â July 1, 1994 Proceedings (Lecture Notes in Computer Science, 814)

ISBN 10: 3540581561 / ISBN 13: 9783540581567

Published by Springer, 1994

About this Item

Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail.

Seller Inventory # OTV.3540581561.VG

Bibliographic Details

• Title: Automated Deduction â CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26â July 1, 1994 Proceedings (Lecture Notes in Computer Science, 814)
• Publisher: Springer
• Publication Date: 1994
• Language: English
• ISBN 10: 3540581561
• ISBN 13: 9783540581567
• Binding: Soft cover
• Condition: very_good

About this title

Synopsis

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.