This volume contains the papers presented at the 24th International Conference on Automated Deduction (CADE-24), held June 9-14, 2013, in Lake Placid, New York, USA. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experiences.
|Titolo:||Automated Deduction - CADE-24 Proceedings of the Twenty-Fourth International Conference on Automated Deduction|
|Data di pubblicazione:||2013|
|Appare nelle tipologie:||06.01 Curatela|