✨ Buy more, save 5% Ends this month

Automated Deduction - Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

$60.32

(No reviews yet) Write a Review

Physical book delivery

Shipping calculated at checkout.

Estimated delivery

5–10 business days

in stock

Adding to cart… The item has been added

Product Details

Author:: Claude Kirchner
Publisher:: Springer
Publication Date:: Jun 24, 1998
Number of pages:: 450 pages
Binding:: Paperback or Softback
ISBN-10:: 3540646752
ISBN-13:: 9783540646754

Overview

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.