Projectos de I&D
Consulta de projectos homologados
Concurso para Projectos de I&D em todos os Domínios Científicos - 2008
Interpretações funcionais da aritmética e análise
PTDC/MAT/104716/2008
-
Área Científica Principal
-
Matemática
-
Palavras Chave
-
Teoria da demonstração
-
Interpretações Funcionais
-
Sistemas formais de aritmética e análise
-
Princípio de correspondência
-
Financiamento
- €
23 040,00
Instituição do projecto não encontradas