Pesquisas e Projetos
De Wiki DAINF
(Diferença entre revisões)
m |
|||
| Linha 1: | Linha 1: | ||
| − | * KEMS - Professor [[Adolfo Neto]] - http://kems.iv.fapesp.br | + | * KEMS - Provador de Teoremas Multi-Estratégia - Professor [[Adolfo Neto]] - Maios informações em http://kems.iv.fapesp.br |
Edição de 13h37min de 11 de agosto de 2008
- KEMS - Provador de Teoremas Multi-Estratégia - Professor Adolfo Neto - Maios informações em http://kems.iv.fapesp.br
