Cover Image

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

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 ma...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Bonacina, Maria Paola. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edition:1st ed. 2013.
Series:Lecture Notes in Artificial Intelligence ; 7898
Subjects:
Artificial intelligence.
Mathematical logic.
Computer logic.
Software engineering.
Algorithms.
Artificial Intelligence.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering.
Algorithm Analysis and Problem Complexity.
Online Access:https://doi.org/10.1007/978-3-642-38574-2

Internet

https://doi.org/10.1007/978-3-642-38574-2

Similar Items