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
Navegando por Assunto Raciocínio automatizado
Pular para:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
ou entre as primeiras letras:
Ordenar por:
Título
Data de apresentação
Data de publicação
Em ordem:
Crescente
Decrescente
Resultados/Página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autores/Registro:
Todos
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 1 a 3 de 3
Data de publicação
Data de apresentação
Título
Autor(es)
Orientador(es)
Coorientador(es)
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
-
6-Out-2023
25-Jul-2023
Lidando com a legibilidade de provas em Isabelle
Rodrigues, Rafael Monteiro
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
-