This paper describes the main ideas of an approach to the search complexity analysis of theorem proving strategies.
On the notion of complexity of search in theorem proving
BONACINA, Maria Paola
;
1997-01-01
Abstract
This paper describes the main ideas of an approach to the search complexity analysis of theorem proving strategies.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
LC1996search.pdf
accesso aperto
Descrizione: Articolo
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
35.51 kB
Formato
Adobe PDF
|
35.51 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
