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
Realização
Patrocínio e apoio