CRM: Centro De Giorgi
logo sns
Computer-assisted proofs, proof assistants and visualization in dynamical systems

Common Work


timetable:
Thu 20 Jun, 11:00 - 11:50, Aula Dini
<< Go back