Sfoglia per Autore
Mostrati risultati da 1 a 2 di 2
| Tipologia | Anno | Titolo | Titolo inglese | Autore | File |
|---|---|---|---|---|---|
| Lauree triennali | 2021 | Interpretazione "proofs-as-programs" per l'aritmetica di Presburger | Proofs-as-programs 's interpretation for Presburger arithmetic | COLANERO, CAMILLA | |
| Lauree magistrali | 2023 | Detection and Analysis of Unused Properties: Real Estate Analytics for the city of Padova | Detection and Analysis of Unused Properties: Real Estate Analytics for the city of Padova | COLANERO, CAMILLA |
Mostrati risultati da 1 a 2 di 2
Legenda icone
- file ad accesso aperto
- file ad accesso riservato
- file sotto embargo
- nessun file disponibile