Pesquisas e Projetos
De Wiki DAINF
(Diferença entre revisões)
(→Outros) |
(→Projetos de Pesquisa) |
||
| Linha 2: | Linha 2: | ||
* [[KEMS - Provador de Teoremas Multi-Estratégia]] - Professor [[Adolfo Neto]] | * [[KEMS - Provador de Teoremas Multi-Estratégia]] - Professor [[Adolfo Neto]] | ||
| − | |||
| − | |||
== Grupos de Pesquisa == | == Grupos de Pesquisa == | ||
