Narboux, J., Neuper, W., & Quaresma, P. (2024). Proceedings 12th International Workshop on Theorem proving components for Educational software.
Citazione stile Chigago Style (17a edizione)Narboux, Julien, Walther Neuper, e Pedro Quaresma. Proceedings 12th International Workshop on Theorem Proving Components for Educational Software. 2024.
Citatione MLA (9a ed.)Narboux, Julien, et al. Proceedings 12th International Workshop on Theorem Proving Components for Educational Software. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.