Automated Deduction - CADE-25

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

Amy P. Felty, Aart Middeldorp (Herausgeber)

Buch | Softcover

XXVIII, 640 Seiten

2015 | 1st ed. 2015
Springer International Publishing (Verlag)
978-3-319-21400-9 (ISBN)

Artikel merken

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.

Automated deduction.- Foundations.- Applications.- Implementations.- Practical experience.

Erscheint lt. Verlag	30.7.2015
Reihe/Serie	Lecture Notes in Artificial Intelligence
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XXVIII, 640 p. 93 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Informatik ► Grafik / Design ► Digitale Bildverarbeitung
Schlagworte	Abstract Interpretation • AI logics • automated reasoning • Complexity • difference constraints • Encryption • finite models • Higher-Order Logic • Hybrid 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
ISBN-10	3-319-21400-4 / 3319214004
ISBN-13	978-3-319-21400-9 / 9783319214009
Zustand	Neuware