Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Maria Viviane Menezes"'
Publikováno v:
Anais do XXX Workshop sobre Educação em Computação (WEI 2022).
A disciplina de Lógica para Computação faz parte da maioria dos cursos de Tecnologia da Informação e Comunicação. O sistema de Dedução Natural é amplamente utilizado para o ensino de demonstrações e este conteúdo consta em muitos dos liv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::26a47c30a0775d4bc6b8f60766c7ced7
https://doi.org/10.5753/wei.2022.222875
https://doi.org/10.5753/wei.2022.222875
