Scorri la lista: Supervisore e Co-supervisore

Su di un livello
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Autore | Data di discussione | Ciclo | Nessun raggruppamento
Vai a: 2003 | 2007 | 2008 | 2011 | 2013
Numero di documenti: 5.

2003

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.

2007

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.

2008

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.

2011

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.

2013

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 Sat Oct 12 20:38:14 2024 CEST.
^