*Eduardo:* obrigado pelas referências! Desculpe a demora pessoal.
Compartilho um esboço de uns 2 anos atrás com vocês, ele resume bem esta
“lógica” e delimita uma terminologia:
https://docs.google.com/document/d/1gU7sDEvr7181t9O3IBkaPYRPibxcvdRFghIWoNNB_34/edit?usp=sharing
Na verdade não
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,
* Apologies if you receive multiple copies of this call *
=
Call for Papers
FoIKS 2022: 12th International Symposium on Foundations of Information and
Knowledge Systems
University of Helsinki, Finland, 20-23 June 2022
Conference website: