Voltar aos Detalhes do Artigo
Aplicação do Provador de Teoremas LEAN no Ensino de Lógica Matemática para Alunos de Sistemas de Informação: Um Estudo de Caso
Baixar
##common.downloadPdf##