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]]

Edição de 10h26min de 25 de fevereiro de 2009

Projetos de Pesquisa

Grupos de Pesquisa

Outros

Ferramentas pessoais