Logo Università degli Studi di Milano



 
 

Partecipazione al “Fifth Workshop on Proof eXchange for Theorem Proving – PxTP2017 e FroCoS 2017 – Brasilia” per il periodo dal 23 al 29/9/2017

Responsabile/i:
  • silvio GHILARDI
Ente finanziatore:
ISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI" DI ROMA
Tipologia:
AL_RIC - Bandi da altri enti di ricerca
Capofila:
UNIVERSITA' DEGLI STUDI DI MILANO
Anno:
2017
Durata:
12
Stato:
APERTO
Torna ad inizio pagina