Lecture Notes in Artificial Intelligence

Automated Deduction -- CADE-24

24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings

Editors: Bonacina, Maria Paola (Ed.)

  • Conference proceedings of the International Conference on Automated Deduction, CADE-24, 2013

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-38574-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $95.00
price for USA
  • ISBN 978-3-642-38573-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 71 initial submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, ranging from theoretical and methodological issues to the presentation of new theorem provers, solvers and systems.

Table of contents (33 chapters)

  • One Logic to Use Them All

    Filliâtre, Jean-Christophe

    Pages 1-20

  • The Tree Width of Separation Logic with Recursive Definitions

    Iosif, Radu (et al.)

    Pages 21-38

  • Hierarchic Superposition with Weak Abstraction

    Baumgartner, Peter (et al.)

    Pages 39-57

  • Completeness and Decidability Results for First-Order Clauses with Indices

    Kersani, Abdelkader (et al.)

    Pages 58-75

  • A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies

    Cialdea Mayer, Marta

    Pages 76-90

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-38574-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $95.00
price for USA
  • ISBN 978-3-642-38573-5
  • 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-24
Book Subtitle
24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings
Editors
  • Maria Paola Bonacina
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
7898
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-38574-2
DOI
10.1007/978-3-642-38574-2
Softcover ISBN
978-3-642-38573-5
Edition Number
1
Number of Pages
XVI, 466
Number of Illustrations and Tables
95 b/w illustrations
Topics