Pereira, Moisés Henrique Ramos, Centro Federal de Educação Tecnológica - CEFET, MG. Centro Universitário de Belo Horizonte - UniBH., Brasil
-
v. 6, n. 1 (2013) - Artigos
PROVA AUTOMATIZADA DE TEOREMA EM LÓGICA PROPOSICIONAL
Resumo PDF
ISSN 1984-3151