Narboux, J., Neuper, W., & Quaresma, P. (2024). Proceedings 12th International Workshop on Theorem proving components for Educational software.
Style de citation Chicago (17e éd.)Narboux, Julien, Walther Neuper, et Pedro Quaresma. Proceedings 12th International Workshop on Theorem Proving Components for Educational Software. 2024.
Style de citation MLA (9e éd.)Narboux, Julien, et al. Proceedings 12th International Workshop on Theorem Proving Components for Educational Software. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.