Sfoglia per Autore
Mostrati risultati da 1 a 1 di 1
| collection | Anno | Titolo | Autore | file(s) |
|---|---|---|---|---|
| Corso di Laurea Specialistica | 2009/2010 | Costruzione di realizzatori interattivi da prove in PRA+EM1 ed estrazione in Isabelle/HOL | CAFF, SEBASTIANO CONCETTO MARCO |
Mostrati risultati da 1 a 1 di 1
Legenda icone
- file disponibili solo agli amministratori
- nessun file disponibile