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 |