Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings by CLAUDE KIRCHNERAutomated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings by CLAUDE KIRCHNER

Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau…

EditorCLAUDE KIRCHNER, Helene Kirchner

Paperback

Pricing and Purchase Info

$148.02 online 
$167.95 list price save 11%
Earn 740 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 book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.
Title:Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau…Format:PaperbackDimensions:457 pages

The following ISBNs are associated with this title:

ISBN - 10:3540646752

ISBN - 13:9783540646754

Look for similar items by category:

Reviews