Sfoglia per Autore
Mostrati risultati da 1 a 1 di 1
| collection | Anno | Titolo | Autore | file(s) |
|---|---|---|---|---|
| Corso di Laurea | 2023/2024 | Analisi delle prestazioni di un theorem prover per le logiche condizionali: sviluppo di un benchmark per test automatici | TOMA, MARCO |
Mostrati risultati da 1 a 1 di 1
Legenda icone
- file disponibili solo agli amministratori
- nessun file disponibile