Skip navigation
Cursos
Autor
Orientador
Coorientador
Título
Assunto
Data
Documentos
Resolução CEG n.01/2016
Resolução VRT n.27/2014 - Alteração de Monografias
Termo de Autorização
Modelo de Justificativa - Publicação Parcial
Regulamento BDM
Sobre a BDM
Entrar:
Meu espaço
Receber atualizações por e-mail
Editar perfil
Biblioteca Digital da Produção Intelectual Discente
Trabalhos de Conclusão de Curso de Graduação
Ciência da Computação
Pesquisar
Pesquisar:
Todo repositório
Trabalhos de Conclusão de Curso de Graduação
Ciência da Computação
por
Filtros correntes:
Título
Autor
Orientador
Coorientador
Assunto
Data de publicação
Data de Apresentação
Tipo
Iguais
Contém
Identificado
Diferentes
Não contém
Não identificado
Iniciar uma nova pesquisa
Adicionar filtros:
Utilizar filtros para refinar o resultado da pesquisa.
Título
Autor
Orientador
Coorientador
Assunto
Data de publicação
Data de Apresentação
Tipo
Iguais
Contém
Identificado
Diferentes
Não contém
Não identificado
Resultados 1-6 of 6.
anterior
1
Próximo
Itens encontrados:
Data de publicação
Data de apresentação
Título
Autor(es)
Orientador(es)
Coorientador(es)
6-Abr-2017
2016
Métodos polinomiais para simplificação de fórmulas modais
Menezes, André Belle
Nalon, Cláudia
-
11-Ago-2017
30-Jan-2016
Tableaux clausal para lógica modal
Angelos, Daniella Albuquerque dos
Nalon, Cláudia
-
22-Nov-2016
14-Jul-2011
Análise da complexidade de espaço para um algoritmo de K(1)-Validade
Vilela, Bruno Azevedo
Nalon, Cláudia
-
28-Jun-2022
5-Nov-2021
Algoritmos de seleção de cláusulas em provas por resolução para lógicas modais
Leite, José Marcos da Silva
Nalon, Cláudia
-
5-Out-2023
21-Jul-2023
Implementação da combinação de métodos de prova automática de teoremas para lógicas modais
Macêdo, Karen Lima
Nalon, Cláudia
-
5-Out-2023
16-Fev-2023
Preprocessamento de cláusulas para raciocínio local e global no KSP
Melo, João Victor Cabral de
Nalon, Cláudia
-