Skip navigation
Comunidades e Coleções
Navegar
Autor
Orientador
Coorientador
Título
Assunto
Tipo
Data de publicação
Unidade Acadêmica
Programa de pós-graduação
Documentos
Portaria n.13 CAPES
Resolução - Política de Informação do RIUnB
Resolução VRT n.27-2014 - Alteração de Teses e Dissertações
Creative Commons
Termo de Autorização - Teses e Dissertações
Termo de Autorização - Artigos e Outros
Modelo de Justificativa - Publicação Parcial
Modelo de Justificativa - Extensão de Prazo
A-
A
A+
Entrar em:
Meu espaço
Receber atualizações por e-mail
Editar perfil
Voltar
Repositório Institucional da UnB
Navegando por Autor Carvalho Segundo, Washington Luís Ribeiro de
Ir 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 com as primeiras letras:
Classificar por:
Título
Data de publicação
Data de depósito
Data de defesa
Em ordem:
Ascendente
Descendente
Resultados/Página
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Registro(s):
Todos
1
5
10
15
20
25
30
35
40
45
50
Mostrando resultados 2 a 2 de 2
< Anterior
Data de publicação
Data de defesa
Título
Autor(es)
Orientador(es)
Coorientador(es)
11-Mai-2011
13-Jul-2010
Verificação de propriedades do cálculo גex em Coq
Carvalho Segundo, Washington Luís Ribeiro de
Moura, Flávio Leonardo Cavalcanti de
-
