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