umberto rivieccio

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

Projetos de Pesquisa

Projeto de Pesquisa Área de Conhecimento
2021
PVB18472-2021 MOSAIC Lógicas e Semântica de Programas
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
2018
PVB15756-2018 Cálculos adequados para a combinação de sistemas lógicos Lógicas e Semântica de Programas
PVB18454-2018 Lógicas modais paraconsistentes Lógicas e Semântica de Programas
PIB18455-2018 TIC – Tecnologias da Informação e Comunicação, Projeto “Ferramentas de processamento de Imagens para diagnosticos”  Metodologia e Técnicas da Computação

SIGAA | Superintendência de Informática - | | Copyright © 2006-2021 - UFRN - sigaa08-producao.info.ufrn.br.sigaa08-producao v4.2.21