Busca avançada
Ano de início
Entree

A logic based system for controlling inconsistencies in evolutionary databases

Processo: 99/02372-3
Modalidade de apoio:Auxílio à Pesquisa - Reunião - Brasil
Data de Início da vigência: 25 de maio de 1999
Data de Término da vigência: 28 de maio de 1999
Área do conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Walter Alexandre Carnielli
Beneficiário:Walter Alexandre Carnielli
Instituição Sede: Instituto de Filosofia e Ciências Humanas (IFCH). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Assunto(s):Lógica paraconsistente  Semântica  Bases de dados 
Palavra(s)-Chave do Pesquisador:Calculo Paraconsistente | Logica | Semanticas | Traducoes
Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)