Logica, Modelli e Insiemi
Tipologia
Progetti nazionali
Programma di ricerca
PRIN
Ente finanziatore
MIUR
Periodo
08/03/2014 - 08/03/2018
Partecipanti al progetto
Descrizione del progetto
Coordinatore
Matteo Viale
Aree / Gruppi di ricerca
Partecipanti al progetto
- Viale Matteo (Coordinatore)