Gloeckle, F., Rammal, A., Arnal, C., Munos, R., Cabannes, V., Synnaeve, G., & Hayat, A. (2026). Automatic Textbook Formalization.
Citazione stile Chigago Style (17a edizione)Gloeckle, Fabian, Ahmad Rammal, Charles Arnal, Remi Munos, Vivien Cabannes, Gabriel Synnaeve, e Amaury Hayat. Automatic Textbook Formalization. 2026.
Citatione MLA (9a ed.)Gloeckle, Fabian, et al. Automatic Textbook Formalization. 2026.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.