| 2 | Bolsas no país concluídas |
| Processos vinculados | |
Busca avançada
Guilherme Vicentin de Toledo
CV Lattes
Universidade Estadual de Campinas (UNICAMP). Instituto de Matemática, Estatística e Computação Científica (IMECC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Possui doutorado em lógica pela Universidade Estadual de Campinas (2022). Tem experiência nas áreas de Lógica e Ciência da Computação, atuando principalmente nos seguintes temas: semânticas não-determinísticas, lógicas paraconsistentes, multiálgebras, satisfabilidade módulo teorias, combinação de teorias e teorias de modelos multissortida. Site pessoal: https://guilhermevtoledo.wordpress.com (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
Bolsas no país