Quaresma, P., Graziani, P., & Nicoletti, S. M. (2024). Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry.
Style de citation Chicago (17e éd.)Quaresma, Pedro, Pierluigi Graziani, et Stefano M. Nicoletti. Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry. 2024.
Style de citation MLA (9e éd.)Quaresma, Pedro, et al. Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.