Questa tesi è uno studio delle procedure di completamento di tipo Knuth-Bendix per dimostrazione di teoremi, generazione di procedure di decisione, dimostrazione di teoremi induttivi e programmazione logica. La tesi offre una nuova presentazione delle procedure di completamento, dove il concetto di base è la riduzione di prove.
Sulla dimostrazione di teoremi per completamento
BONACINA, Maria Paola
1990-01-01
Abstract
Questa tesi è uno studio delle procedure di completamento di tipo Knuth-Bendix per dimostrazione di teoremi, generazione di procedure di decisione, dimostrazione di teoremi induttivi e programmazione logica. La tesi offre una nuova presentazione delle procedure di completamento, dove il concetto di base è la riduzione di prove.
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.
