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

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

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11562/492152
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact