Revista e-xacta

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