Desenvolvimento de uma interface para a base de conhecimento Cyc
Desenvolvimento de um software como serviço para otimizar a alocação de peças cerâ...
Proposta de uma metodologia quantitativa de análise do jogo em esportes coletivos ...
| Processo: | 04/06485-7 |
| Modalidade de apoio: | Auxílio à Pesquisa - Reunião - Brasil |
| Data de Início da vigência: | 29 de setembro de 2004 |
| Data de Término da vigência: | 01 de outubro de 2004 |
| Área do conhecimento: | Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação |
| Pesquisador responsável: | Renata Wassermann |
| Beneficiário: | Renata Wassermann |
| Instituição Sede: | Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil |
| Assunto(s): | Prova automática de teoremas Representação de conhecimento |
| Palavra(s)-Chave do Pesquisador: | Prova Automatica De Teoremas | Relevancia | Representacao Do Conhecimento |
| Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio: |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |