EPTCS 328, Proceedings 9th International Workshop on Theorem Proving Components for Educational Software (ThEdu'20)
@Proceedings{ThEdu2020, title = {Proceedings 9th International Workshop on Theorem Proving Components for Educational Software}, year = {2020}, editor = {Pedro Quaresma, Walther Neuper and João Marcos}, volume = {328}, series = {Electronic Proceedings in Theoretical Computer Science}, publisher = {Open Publishing Association}, month = {oct}, doi = {10.4204/EPTCS.328} }