CALOSCI, MATTEO

CALOSCI, MATTEO  

Matematica e Informatica 'Ulisse Dini'  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Titolo Data di pubblicazione Autore(i) File
Universal Algebra in UniMath 2024 Gianluca Amato; Matteo Calosci; Marco Maggesi; Cosimo Perini Brogi