Scorri la lista: Supervisore e Co-supervisore

Su di un livello
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Vai a: 15 | 19 | 20 | 23 | 24
Numero di documenti: 5.

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.

19

Zacchiroli, Stefano (2007) User interaction widgets for interactive theorem proving, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 19 Ciclo. DOI 10.6092/unibo/amsdottorato/616.

20

Tassi, Enrico (2008) Interactive theorem provers: issues faced as a user and tackled as a developer, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 20 Ciclo. DOI 10.6092/unibo/amsdottorato/917.

23

Ricciotti, Wilmer (2011) Theoretical and implementation aspects in the mechanization of the metatheory of programming languages, [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 23 Ciclo. DOI 10.6092/unibo/amsdottorato/3754.

24

Puech, Matthias (2013) Certificates for Incremental Type Checking , [Dissertation thesis], Alma Mater Studiorum Università di Bologna. Dottorato di ricerca in Informatica, 24 Ciclo. DOI 10.6092/unibo/amsdottorato/5870.

Questa lista e' stata generata il Thu Mar 28 20:41:33 2024 CET.
^