Pesquisas e Projetos
De Wiki DAINF
(Diferença entre revisões)
(→Grupos de Pesquisa) |
(→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]] | ||
| + | |||
| + | * [[AMADESA]] - Professor [[Adolfo Neto]] | ||
== Grupos de Pesquisa == | == Grupos de Pesquisa == | ||
Edição de 13h12min de 19 de novembro de 2009
Projetos de Pesquisa
- AMADESA - Professor Adolfo Neto
