Sfoglia per Autore E FIGUEIREDO QUARESMA DE ALMEIDA, PEDRO HENRIQUE
Mostrati risultati da 1 a 3 di 3
Towards a Readability Criterion for Humans and Machines
2025 Quaresma, Pedro; Graziani, Pierluigi
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
2024 Quaresma, Pedro; Graziani, Pierluigi; Nicoletti, Stefano M.
Measuring the Readability of Geometric Proofs: The Area Method Case.
2023 Quaresma, Pedro; Graziani, Pierluigi
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Towards a Readability Criterion for Humans and Machines | 1-gen-2025 | Quaresma, Pedro; Graziani, Pierluigi | |
| Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry | 1-gen-2024 | Quaresma, Pedro; Graziani, Pierluigi; Nicoletti, Stefano M. | |
| Measuring the Readability of Geometric Proofs: The Area Method Case. | 1-gen-2023 | Quaresma, Pedro; Graziani, Pierluigi |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile