loading...
EPTCS 313, 28th February 2020.
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software Natal, Brazil, 25th August 2019 Edited by: Pedro Quaresma, Walther Neuper and João Marcos
DOI: 10.4204/EPTCS.313
ISSN: 2075-2180