NICOLETTI, STEFANO MARIA
NICOLETTI, STEFANO MARIA
Dipartimento di Scienze Pure e Applicate (DiSPeA)
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry | 1-gen-2024 | Quaresma, Pedro; Graziani, Pierluigi; Nicoletti, Stefano M. |