Pesquisar


Filtros correntes:
Iniciar uma nova pesquisa
Adicionar filtros:

Utilizar filtros para refinar o resultado da pesquisa.

 | 
Resultados 61-61 of 61.
Itens encontrados:
Data de publicaçãoData de apresentaçãoTítuloAutor(es)Orientador(es)Coorientador(es)
12-Dez-202317-Fev-2023Formalização em Coq da prova de confluência do cálculo λxCaldas, Danilo Raposo FreireMoura, Flávio Leonardo Cavalcanti de-