Revista e-xacta

Biber Sampaio, Frederico Martins, UniBH - Centro Universitário de Belo Horizonte, Brasil

• v. 6, n. 1 (2013) - Artigos
  PROVA AUTOMATIZADA DE TEOREMA EM LÓGICA PROPOSICIONAL
  Resumo  PDF