AYALA RINCON (orientador), MAURICIO, .

• 29º CONGRESSO DE INICIAÇÃO CIENTÍFICA DA UNB E 20º DO DF - Submissões gerais
  Formalização Lógica em PVS de Evidências de Des- e Misinformação em Aplicativos Sociais - Ética em AI
  Resumo
• 29º CONGRESSO DE INICIAÇÃO CIENTÍFICA DA UNB E 20º DO DF - Submissões gerais
  Formalização Lógica em PVS de Evidências de Des- e Misinformação em Aplicativos Sociais - Ética em AI
  Resumo