Don’t miss it: Get 40% off Education & Linguistics books! Save through November 30, 2018.

Lecture Notes in Artificial Intelligence

Automated Deduction - CADE-25

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Editors: Felty, Amy P, Middeldorp, Aart (Eds.)

  • Up-to-date results
  • Fast track conference proceedings
  • State-of-the-art report
see more benefits

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-3-319-21401-6
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
  • ISBN 978-3-319-21400-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.

The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.

Table of contents (37 chapters)

  • History and Prospects for First-Order Automated Deduction

    Plaisted, David A.

    Pages 3-28

  • Stumbling Around in the Dark: Lessons from Everyday Mathematics

    Martin, Ursula

    Pages 29-51

  • Automated Reasoning in the Wild

    Furbach, Ulrich (et al.)

    Pages 55-72

  • Automating Leibniz’s Theory of Concepts

    Alama, Jesse (et al.)

    Pages 73-97

  • Confluence Competition 2015

    Aoto, Takahito (et al.)

    Pages 101-104

Buy this book

eBook $79.99
price for USA in USD (gross)
  • ISBN 978-3-319-21401-6
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.99
price for USA in USD
  • ISBN 978-3-319-21400-9
  • 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-25
Book Subtitle
25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Editors
  • Amy P Felty
  • Aart Middeldorp
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
9195
Copyright
2015
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-21401-6
DOI
10.1007/978-3-319-21401-6
Softcover ISBN
978-3-319-21400-9
Edition Number
1
Number of Pages
XXVIII, 640
Number of Illustrations
93 b/w illustrations
Topics