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

Claude Kirchner (u. a.)

ISBN 10: 3540646752 / ISBN 13: 9783540646754

Published by Springer, 1998

About this Item

Automated Deduction - CADE-15 | 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings | Claude Kirchner (u. a.) | Taschenbuch | xiv | Englisch | 1998 | Springer | EAN 9783540646754 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 101931183

Bibliographic Details

• Title: Automated Deduction - CADE-15 | 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
• Publisher: Springer
• Publication Date: 1998
• Language: English
• ISBN 10: 3540646752
• ISBN 13: 9783540646754
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 25D millimeters 235 millimeters width by 155 millimeters height by 25 millimeters depth
• Weight: 698 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

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.