Sfoglia per Autore
Mostrati risultati da 1 a 2 di 2
| collection | Anno | Titolo | Autore | file(s) |
|---|---|---|---|---|
| Corso di Laurea | 2018/2019 | Sviluppo di un theorem prover per logiche condizionali di Lewis con uniformità e riflessività | PESCE, STEFANO | |
| Corso di Laurea Magistrale | 2021/2022 | Less code, more (artificial) intelligence | PESCE, STEFANO |
Mostrati risultati da 1 a 2 di 2
Legenda icone
- file disponibili solo agli amministratori
- nessun file disponibile