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 14h50min de 22 de agosto de 2008
- KEMS - Provador de Teoremas Multi-Estratégia - Professor Adolfo Neto - Maios informações em http://kems.iv.fapesp.br
