Lecture Notes in Artificial Intelligence

Automated Deduction - CADE-15

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

Editors: Kirchner, Claude, Kirchner, Helene (Eds.)

Free Preview

Buy this book

eBook $99.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-69110-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-64675-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (37 chapters)

Table of contents (37 chapters)
  • Reasoning about deductions in linear logic

    Pfenning, Frank

    Pages 1-2

  • A combination of nonstandard analysis and geometry theorem proving, with application to Newton's Principia

    Fleuriot, Jacques D. (et al.)

    Pages 3-16

  • Proving geometric theorems using clifford algebra and rewrite rules

    Fèvre, Stéphane (et al.)

    Pages 17-32

  • System description: similarity-based lemma generation for model elimination

    Fuchs, Marc

    Pages 33-37

  • System description: Verification of distributed Erlang programs

    Arts, Thomas (et al.)

    Pages 38-41

Buy this book

eBook $99.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-69110-5
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-540-64675-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Deduction - CADE-15
Book Subtitle
15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
Editors
  • Claude Kirchner
  • Helene Kirchner
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
1421
Copyright
1998
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69110-5
DOI
10.1007/BFb0054239
Softcover ISBN
978-3-540-64675-4
Edition Number
1
Number of Pages
XIV, 450
Topics