MENDES KURY, RICARDO ARÔSO, UnB

• 25º CONGRESSO DE INICIAÇÃO CIENTÍFICA DA UNB E 16º DO DF - Submissões gerais
  Extensão de um provador de teoremas modais: lógicas confluentes
  Resumo