RIBEIRO, Rodrigo Geraldo; ROGGIA, Karina; VASCONCELLOS, Cristiano. O Uso de Assistente de Provas no Ensino de Lógica. In: LABORATÓRIO DE IDEIAS - SIMPÓSIO BRASILEIRO DE EDUCAÇÃO EM COMPUTAÇÃO (EDUCOMP), 1. , 2021, On-line. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2021 . p. 05-05. DOI: https://doi.org/10.5753/educomp_estendido.2021.14846.