Theses
- Maria Paola Bonacina.
Distributed automated deduction.
Ph.D. Thesis, Department of Computer Science, State University of
New York at Stony Brook, December 1992.
[BibTeX]
[Slides]
- Maria Paola Bonacina.
Sulla dimostrazione di teoremi per completamento.
Thesis of Dottorato di Ricerca, Dipartimento di Scienze dell'Informazione,
Università degli Studi di Milano, Milano, Italy, December 1990.
Available in English with title
On completion theorem proving,
as Technical Report of the Department of Computer Science, State University of
New York at Stony Brook, December 1990.
[BibTeX]
- Maria Paola Bonacina.
L'algoritmo di Knuth-Bendix.
Thesis of Laurea (undergraduate), Dipartimento di Scienze dell'Informazione,
Università degli Studi di Milano, Milano, Italy, July 1986.
Maria Paola Bonacina