Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Automated Deduction - CADE-12 - 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings (Paperback, 1994 ed.)
Loot Price: R1,638
Discovery Miles 16 380
|
|
Automated Deduction - CADE-12 - 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings (Paperback, 1994 ed.)
Series: Lecture Notes in Artificial Intelligence, 814
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.