APA (7th ed.) Citation

Narboux, J., Neuper, W., & Quaresma, P. (2025). Proceedings The 13th International Workshop on Theorem proving components for Educational software.

Chicago Style (17th ed.) Citation

Narboux, Julien, Walther Neuper, and Pedro Quaresma. Proceedings The 13th International Workshop on Theorem Proving Components for Educational Software. 2025.

MLA (9th ed.) Citation

Narboux, Julien, et al. Proceedings The 13th International Workshop on Theorem Proving Components for Educational Software. 2025.