Books > Computing & IT > Applications of computing > Artificial intelligence
|
Not currently available
Automated Deduction - CADE-11 - 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings (Paperback, 1992 ed.)
Loot Price: R2,417
Discovery Miles 24 170
|
|
Automated Deduction - CADE-11 - 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings (Paperback, 1992 ed.)
Series: Lecture Notes in Artificial Intelligence, 607
Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.
|
This volume contains the papers presented at the Eleventh
International Conference on Automated Deduction (CADE-11) held in
Saratoga Springs, NY, inJune 1992. A total of 136 papers were
submitted for presentation by researchers from nearly 20 countries.
Papers covered many topics including: resolution; term rewriting;
natural deduction; theorem proving, in particular in algebra and
geometry; parallel theoremprovers; unification theory; constraint
solving; logic programing; verification; multivalued, temporal and
nonclassical logics; non-monotonic reasoning; planning; proof
theory; higher-order logics; and inductive theorem proving. Each
submission was reviewed by at least three program committee members
and 46 papers were selected for presentation and publication. This
volume also contains short descriptions of 23 implementations of
automated deduction systems. The volume opens with a keynote
address by Larry Wos, winner of the first Herbrand Award for
Distinguished Contributions to Automated Reasoning.
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.