Sfoglia per Corso
Mostrati risultati da 1 a 2 di 2
| 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 | |
| Corso di Laurea Specialistica | 2008/2009 | Un'estensione della Dependency Tree Semantics: completezza espressiva e complessità computazionale | DI CARLO, JURIJ |
Mostrati risultati da 1 a 2 di 2
Legenda icone
- file disponibili solo agli amministratori
- nessun file disponibile