Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. by Deepak KapurAutomated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. by Deepak Kapur

Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga…

EditorDeepak Kapur

Paperback | May 27, 1992

Pricing and Purchase Info

$210.93 online 
$232.95 list price save 9%
Earn 1,055 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This volume contains the papers presented at the EleventhInternational Conference on Automated Deduction (CADE-11)held in Saratoga Springs, NY, inJune 1992. A total of 136papers were submitted for presentation by researchers fromnearly 20 countries. Papers covered many topics including:resolution; term rewriting; natural deduction; theoremproving, in particular in algebra and geometry; paralleltheoremprovers; unification theory; constraint solving;logic programing; verification; multivalued, temporal andnonclassical logics; non-monotonic reasoning; planning;proof theory; higher-order logics; and inductive theoremproving. Each submission was reviewed by at least threeprogram committee members and 46 papers were selected forpresentation and publication. This volume also containsshort descriptions of 23 implementations of automateddeduction systems. The volume opens with a keynote addressby Larry Wos, winner of the first Herbrand Award forDistinguished Contributions to Automated Reasoning.
Title:Automated Deduction - CADE-11: 11th International Conference on Automated Deduction, Saratoga…Format:PaperbackDimensions:816 pages, 9.25 × 6.1 × 0.07 inPublished:May 27, 1992Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540556028

ISBN - 13:9783540556022

Look for similar items by category:

Reviews