Projectos de I&D
Consulta de projectos homologados
Concurso de Projectos de Investigação Científica e Desenvolvimento Tecnológico em todos os Domínios Científicos - 2010
POLARIS: Algoritmos para a Hierarquia Polinomial
PTDC/EIA-CCO/123051/2010
-
Área Científica Principal
-
Engenharia Informática - Ciências da Computação
-
Palavras Chave
-
Satisfação de Restrições
-
Refinamento de Abstracções com Contra-exemplos
-
Formulas Proposicionais Quantificas
-
Hierarquia Polinomial
-
Financiamento
- €
123 824,00
Instituição do projecto não encontradas