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]]
 
* [[AMADESA]] - Professor [[Adolfo Neto]]
 
  
 
== Grupos de Pesquisa ==
 
== Grupos de Pesquisa ==

Edição de 10h25min de 12 de agosto de 2010

Projetos de Pesquisa

Grupos de Pesquisa

Outros

Ferramentas pessoais