Gloeckle, F., Rammal, A., Arnal, C., Munos, R., Cabannes, V., Synnaeve, G., & Hayat, A. (2026). Automatic Textbook Formalization.
Chicago-Zitierstil (17. Ausg.)Gloeckle, Fabian, Ahmad Rammal, Charles Arnal, Remi Munos, Vivien Cabannes, Gabriel Synnaeve, und Amaury Hayat. Automatic Textbook Formalization. 2026.
MLA-Zitierstil (9. Ausg.)Gloeckle, Fabian, et al. Automatic Textbook Formalization. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.