Logica Lineare: verso una logica delle prove

Data inizio
1 maggio 2002
Durata (mesi) 
24
Dipartimenti
Informatica
Responsabili (o referenti locali)
Masini Andrea

Enti finanziatori:

Ministero dell'Istruzione dell'Università e della Ricerca
Finanziamento: assegnato e gestito dal dipartimento

Partecipanti al progetto

Andrea Masini
Professore ordinario

Attività

Strutture