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

Principal Investigators:
  • silvio GHILARDI
Financing institution:
ISTITUTO NAZIONALE DI ALTA MATEMATICA "FRANCESCO SEVERI" DI ROMA
Type:
AL_RIC - Bandi da altri enti di ricerca
Project leader:
UNIVERSITA' DEGLI STUDI DI MILANO
Year:
2017
Duration:
12
Status:
CHIUSO
Back to top