| Nome Projeto: | GENERICIDADE NO CONTEXTO DA DEMONSTRACAO DE TEOREMAS: UM ASSISTENTE DE PROVA BASEADO EM NUVEM PARA LINGUAGENS ORIENTADAS A FLUXO |
|
| Tipo Projeto: | Pesquisa Básica |
| | Situação Projeto: | Em Andamento |
|
| Data Início Projeto: | 11/2021 |
| |
| Tipo Envolvimento Contrato: | Individual |
|
| Descrição Projeto: | GENERICIDADE NO CONTEXTO DA DEMONSTRACAO DE TEOREMAS: UM ASSISTENTE DE PROVA BASEADO EM NUVEM PARA LINGUAGENS ORIENTADAS A FLUXO |
|
| Instituições | | Nome: | | Fundação de Amparo à Pesquisa do Estado de São Paulo |
|
| Tipo do Financiamento: | Bolsa Doutorado DR |
| | Nº Processo na Financiadora: | 2021/01025-3 |
|
| Data Início Financiamento: | 11/2021 |
| | Data Fim Financiamento: | 07/2025 |
|
| Valor do Financiamento: | R$ 190.917,00 |
| | Complemento do Tipo Financiamento: | BOLSA NO PAIS-DR-I |
|
|
|
| Órgãos | | (IFCH) DF - DEPARTAMENTO DE FILOSOFIA [09.03.00.00.00.00.00] |
|
| Equipes Projeto | | Renato Reis Leme( Participante ) |
| Giorgio Venturi( Responsável ) |
|
|
