Pesquisas e Projetos

De Wiki DAINF
(Diferença entre revisões)
Linha 1: Linha 1:
* KEMS - Provador de Teoremas Multi-Estratégia - Professor [[Adolfo Neto]] - Maios informações em http://kems.iv.fapesp.br
+
* [[KEMS - Provador de Teoremas Multi-Estratégia]] - Professor [[Adolfo Neto]]
 
+
 
* [[Iniciação Científica]]
 
* [[Iniciação Científica]]

Edição de 11h05min de 11 de setembro de 2008

Ferramentas pessoais