Pesquisas e Projetos
De Wiki DAINF
(Diferença entre revisões)
| Linha 1: | Linha 1: | ||
| − | * KEMS - Provador de Teoremas Multi-Estratégia - Professor [[Adolfo Neto]] | + | * [[KEMS - Provador de Teoremas Multi-Estratégia]] - Professor [[Adolfo Neto]] |
| − | + | ||
* [[Iniciação Científica]] | * [[Iniciação Científica]] | ||
