Drops CulturaisHoje na história
  1. Início
  2. Acontecimentos
  3. 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019
Acontecimento

8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019

25 de agosto de 2019Data
25 de agostoDia
NatalLocal