| Processo: | 93/00371-3 |
| Modalidade de apoio: | Auxílio à Pesquisa - Reunião - Exterior |
| Data de Início da vigência: | 15 de junho de 1993 |
| Data de Término da vigência: | 18 de junho de 1993 |
| Área do conhecimento: | Ciências Exatas e da Terra - Ciência da Computação |
| Pesquisador responsável: | Guilherme Bittencourt |
| Beneficiário: | Guilherme Bittencourt |
| Instituição Sede: | Instituto Nacional de Pesquisas Espaciais (INPE). Ministério da Ciência, Tecnologia e Inovação (Brasil). São José dos Campos , SP, Brasil |
| Assunto(s): | Lógica computacional Classificação |
| Palavra(s)-Chave do Pesquisador: | Aprendizado | Arquiteturas De Raciocinio | Classificacao | Logica | Modelo Cognitivo | Prova De Teoremas |
| 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) |