Projectos de I&D
Consulta de projectos homologados
Concurso para Projectos de I&D em todos os Domínios Científicos - 2004
Sistemas formais de aritmética e computabilidade
POCI/MAT/61720/2004
-
Área Científica Principal
-
Matemática
-
Palavras Chave
-
Aritmética formal
-
Complexidade computacional
-
Teoria da demonstração
-
Sistemas fracos
-
Financiamento
- €
10 000,00
Instituição do projecto não encontradas