umberto rivieccio

DIM - DEPARTAMENTO DE INFORMÁTICA E MATEMÁTICA APLICADA

Projetos de Pesquisa

Projeto de Pesquisa Área de Conhecimento
2020
PVB17288-2020 Sistemas de provas para Teorias Geométricas (PROGEO) Lógicas e Semântica de Programas
2019
PVB16106-2019 PROof search for Substructural and modAl logics (PROSA) Lógica Matemática

SIGAA | Superintendência de Informática - | | Copyright © 2006-2020 - UFRN - sigaa08-producao.info.ufrn.br.sigaa08-producao v3.54.0_4