Proceedings of the 10th ThEdu
7 views
Skip to first unread message
Joao Marcos
Feb 11, 2022, 1:41:39 PM2/11/22
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Este volume pode ser de interesse para alguns dos membros desta lista:
Proceedings 10th International Workshop on Theorem Proving Components
for Educational Software
http://eptcs.web.cse.unsw.edu.au/content.cgi?ThEdu21
Aproveito para recordar que que o próximo ThEdu ocorrerá em Haifa este
ano, como satélite do FLoC:
https://www.uc.pt/en/congressos/thedu/ThEdu22
[]s, Joao Marcos
Proceedings 10th International Workshop on Theorem Proving Components
for Educational Software
http://eptcs.web.cse.unsw.edu.au/content.cgi?ThEdu21
Aproveito para recordar que que o próximo ThEdu ocorrerá em Haifa este
ano, como satélite do FLoC:
https://www.uc.pt/en/congressos/thedu/ThEdu22
[]s, Joao Marcos
Reply all
Reply to author
Forward
0 new messages