Skip navigation
Portal do Governo Brasileiro
Atualize sua Barra de Governo
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Help
Feedback
Documents
Formulário de Solicitação de Substituição ou Exclusão de Arquivo no RI
Modelo de Termo de Autorização
Política Institucional de Informação
Language
español
English
português
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Repositório Institucional UFC
Browsing by Author Paula, Hugo Carvalho de
Jump to:
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
or enter first few letters:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 1 of 1
Issue Date
Title
Author(s)
2018
Matemática feita no computador: estudos sobre uma coleção de sistemas formais, com uma investigação sobre estruturas indutivas, e a separação entre lógica e automação em assistentes de prova
Brito, Carlos Eduardo Fisch de
;
Paula, Hugo Carvalho de
