BONACINA, Maria Paola
BONACINA, Maria Paola
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.004 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Distributed automated deduction | 1-gen-1992 | Bonacina, Maria Paola | |
L'algoritmo di Knuth-Bendix | 1-gen-1986 | Bonacina, Maria Paola | |
Sulla dimostrazione di teoremi per completamento | 1-gen-1990 | Bonacina, Maria Paola |