Università degli Studi di Padova

Studenti - archivio

“How to solve your next math problem by computer. Three stories on proof-assistants”

Martedì 7 Giugno 2022, ore 16:30 - Aula - 1A150 - Ingo Blechschmidt (Università di Augsburg - Germania) + Marco Maggesi (Università di Firenze) + Filippo Sestini (Università di Nottingham - UK)

03/06/2022 08:41 Leggi