LIMA, MARIA JULIA DIAS, Universidade de Brasília, Brasil

• 27º CONGRESSO DE INICIAÇÃO CIENTÍFICA DA UNB E 18º DO DF - Submissões gerais
  Formalização de Resultados Teóricos em Assistente de Provas
  Resumo
• 28º CONGRESSO DE INICIAÇÃO CIENTÍFICA DA UNB E 19º DO DF - Submissões gerais
  Formalização de Resultados Metateóricos em Assistente de Provas: sintaxe e semântica da lógica multimodal
  Resumo