Polynomial approximations of full propositional logic via limited bivalence

• Processo: 04/07759-3
• Modalidade de apoio: Auxílio à Pesquisa - Reunião - Exterior
• Data de Início da vigência: 27 de setembro de 2004
• Data de Término da vigência: 30 de setembro de 2004
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Marcelo Finger
• Beneficiário: Marcelo Finger
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Lógica computacional
• Palavra(s)-Chave do Pesquisador: Aproximacoes Polinomiais | Deducao Automatica | Logica | Logica Computacional | Provadores De Teoremas | Raciocinio Aproximado