E FIGUEIREDO QUARESMA DE ALMEIDA, PEDRO HENRIQUE
E FIGUEIREDO QUARESMA DE ALMEIDA, PEDRO HENRIQUE
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.004 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. | |
Measuring the Readability of Geometric Proofs: The Area Method Case. | 1-gen-2023 | Quaresma, Pedro; Graziani, Pierluigi |