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.
Automated Deduction - CADE-24 Proceedings of the Twenty-Fourth International Conference on Automated Deduction
BONACINA, Maria Paola
2013-01-01
Abstract
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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
