Pesquisas e Projetos

De Wiki DAINF
(Diferença entre revisões)
m
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]] - Maios informações em http://kems.iv.fapesp.br
 +
 +
* [[Iniciação Científica]]

Edição de 15h50min de 22 de agosto de 2008

Ferramentas pessoais