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 14h12min de 19 de novembro de 2009

Projetos de Pesquisa

Grupos de Pesquisa

Outros

Ferramentas pessoais