MACÊDO, KAREN LIMA, UnB, Brasil

• 28º CONGRESSO DE INICIAÇÃO CIENTÍFICA DA UNB E 19º DO DF - Submissões gerais
  Implementação de Interfaces para Raciocínio Local e Global em um Provador Automático de Teoremas para Lógicas Modais
  Resumo