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:

Closed