umberto rivieccio

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

Projetos de Pesquisa

Projeto de Pesquisa Área de Conhecimento
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 - sigaa04-producao.info.ufrn.br.sigaa04-producao v3.48.0