Proceedings of ThEdu'19 --- now online!

4 views
Skip to first unread message

Joao Marcos

unread,
Feb 28, 2020, 6:13:28 AM2/28/20
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Proceedings 8th International Workshop on
Theorem Proving Components for Educational Software
Natal, Brazil, 25th August 2019
EPTCS 313
https://arxiv.org/html/2002.11895


JM
Reply all
Reply to author
Forward
0 new messages