Guidi, Ferruccio (2003) Searching and retrieving in content-based repositories of formal mathematical knowledge, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 15 Ciclo. DOI 10.6092/unibo/amsdottorato/7197.