Mendes, J., Marcos, J., & Terrematte, P. (2026). A method for the automated generation of proof exercises with comparable levels of proving complexity.
Chicago Style (17th ed.) CitationMendes, João, João Marcos, and Patrick Terrematte. A Method for the Automated Generation of Proof Exercises with Comparable Levels of Proving Complexity. 2026.
MLA (9th ed.) CitationMendes, João, et al. A Method for the Automated Generation of Proof Exercises with Comparable Levels of Proving Complexity. 2026.
Warning: These citations may not always be 100% accurate.