Verissimo, K., & Melo, E. 2026 mai 4. Lógica Proposicional em Movimento: Avaliação de uma Metodologia Ativa com Tabuleiro Humano. Anais do Simpósio Brasileiro de Educação em Computação (EDUCOMP). [Online] :