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.
EnglishA new direction for research in automated deduction is the development of mathematical tools for the analysis and evaluation of theorem-proving strategies. We propose the name strategy analysis, by analogy with algorithm analysis. In the following, we give some motivation, mention some of the difficulties of this research, describe briefly current and future work, and comment on its impact on the field.
| Titolo: | Future directions of automated deduction: Strategy analysis for theorem proving |
| Autori: | |
| Data di pubblicazione: | 1996 |
| Abstract: | A new direction for research in automated deduction is the development of mathematical tools for the analysis and evaluation of theorem-proving strategies. We propose the name strategy analysis, by analogy with algorithm analysis. In the following, we give some motivation, mention some of the difficulties of this research, describe briefly current and future work, and comment on its impact on the field. |
| Handle: | http://hdl.handle.net/11562/306375 |
| Appare nelle tipologie: | 04.01 Contributo in atti di convegno |
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 © 2021