Sobre traduções entre lógicas: Relações entre traduções conservativas e traduções ...
LOGPROB: lógica probabilística - fundamentos e aplicações computacionais
Programação de games para o desenvolvimento do raciocínio lógico e prevenção do de...
| Processo: | 95/02983-1 |
| Modalidade de apoio: | Auxílio à Pesquisa - Reunião - Brasil |
| Data de Início da vigência: | 26 de julho de 1995 |
| Data de Término da vigência: | 28 de julho de 1995 |
| Área do conhecimento: | Ciências Humanas - Filosofia - Lógica |
| Pesquisador responsável: | Antonio Mario Antunes Sette |
| Beneficiário: | Antonio Mario Antunes Sette |
| Instituição Sede: | Instituto de Matemática, Estatística e Computação Científica (IMECC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil |
| Vinculado ao auxílio: | 93/00925-9 - Aspectos matemáticos e computacionais das traduções entre lógicas, AP.TEM |
| Assunto(s): | Raciocínio Eventos científicos e de divulgação |
| Palavra(s)-Chave do Pesquisador: | Default | Logica | Raciocinio |
| 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) |