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