LoginScorri la lista: Settore concorsuale
|
Su di un livello |
Vai a: 15
Numero di documenti: 1.
15
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.
