Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings - Paperback
$54.99
Quantity
01
Pay over time for orders over $35.00 with
Offers & Perks
Earn 54 points with this purchase
Added to your rewards balance after checkout.
100 points welcome bonus
Create an account and start with extra points.
Availability:In StockContributor:Alan BundySeries:Lecture Notes in Computer SciencePublish date:6/8/1994Pages:852
Languages:EnglishPublisher:SpringerISBN-13:9783540581567ISBN-10:3540581561UPC:9783540581567Book Category:Computers, MathematicsBook Subcategory:Artificial Intelligence, Logic, Computer ScienceBook Topic:Expert SystemsSize:9.21 x 6.14 x 1.73 inchesWeight:1.199Product ID:SCMH4240ZJ
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.
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.
Languages:EnglishPublisher:SpringerISBN-13:9783540581567ISBN-10:3540581561UPC:9783540581567Book Category:Computers, MathematicsBook Subcategory:Artificial Intelligence, Logic, Computer ScienceBook Topic:Expert SystemsSize:9.21 x 6.14 x 1.73 inchesWeight:1.199Product ID:SCMH4240ZJ
Publisher: Springer
Edition
1994 Edition
Contributor(s)
Free shipping on orders over $75. Standard shipping takes 3-7 business days. Eligible items may be returned within 30 days of delivery. Conditions apply.