• O sistema será reiniciado às 11:40 para fins de atualização de funcionalidades. Pedimos a todos que salvem seus trabalhos para que não haja transtornos.
    Agradecemos a compreensão, em até 10 minutos o sistema estará de volta.

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 - (84) 3215-3148 | Copyright © 2006-2019 - UFRN - sigaa04-producao.info.ufrn.br.sigaa04-producao v4.45.5_sync