Overview
- Up-to-date results
- Fast track conference proceedings
- State-of-the-art report
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9195)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Included in the following conference series:
Conference proceedings info: CADE 2015.
Buy print copy
Tax calculation will be finalised at checkout
Table of contents (42 papers)
-
Front Matter
-
Past, Present and Future of Automated Deduction
-
Front Matter
-
-
Invited Talks
-
Front Matter
-
-
Competition Descriptions
-
Front Matter
-
-
Rewriting
-
Front Matter
-
Other volumes
-
Automated Deduction - CADE-25
Keywords
- Abstract interpretation
- Automated reasoning
- Complexity
- Encryption
- Finite models
- Higher-order logic
- Integer arithmetic
- Linear programming
- Logical frameworks
- Modal logic
- Model checking
- Model theory
- Program synthesis
- Proof automation
- SAT encoding
- Software verification
- Static semantics
- Tableaux
- Term rewriting
- Theorem proving
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.
Editors and Affiliations
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 Computer Science
DOI: https://doi.org/10.1007/978-3-319-21401-6
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Softcover ISBN: 978-3-319-21400-9Published: 30 July 2015
eBook ISBN: 978-3-319-21401-6Published: 30 July 2015
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXVIII, 640
Number of Illustrations: 93 b/w illustrations
Topics: Image Processing and Computer Vision, Artificial Intelligence, Algorithm Analysis and Problem Complexity, Information Systems Applications (incl. Internet), Computation by Abstract Devices, Pattern Recognition