da Cunha, Dayanne Fernandes, Universidade de Brasilia, Brasil

• 21º CONGRESSO DE INICIAÇÃO CIENTÍFICA DA UNB E 12º DO DF - Submissões gerais
  Provadores de Teoremas para Lógicas Modais: Avaliação Experimental
  Resumo