CATALOGO DEI PRODOTTI DELLA RICERCA
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishThis 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.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11562/492152| Titolo: | Automated Deduction - CADE-24 Proceedings of the Twenty-Fourth International Conference on Automated Deduction |
| Autori interni: | BONACINA, Maria Paola |
| Data di pubblicazione: | 2013 |
| Serie: | LECTURE NOTES IN ARTIFICIAL INTELLIGENCE |
| Handle: | http://hdl.handle.net/11562/492152 |
| ISBN: | 9783642385735 |
| Appare nelle tipologie: | 06.01 Curatela |
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.
Copyright © 2017