LoginTesi di laurea con relatore o correlatore Sacerdoti Coen, Claudio, discusse nel 2014
![[su]](/style/images/multi_up.png)
Su di un livelloNumero di documenti: 3.
A
Acerbi, Matteo (2014) Costruzioni modulari in linguaggi con tipi dipendenti. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270], Documento ad accesso riservato.
B
Berardinelli, Danilo (2014) Implementazione del backend di una app Android per la didattica della deduzione naturale. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
M
Mezza, Stefano (2014) Implementazione del frontend di una app Android per la didattica della deduzione naturale. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.
