Skip navigation
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Document Type
Access types
Scientific areas
Scientific areas (cloud format)
Help
Idioma
English
português
Repositório Aberto da Universidade do Porto
Browsing by Subject Informática
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
Author
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 172 to 173 of 173
< previous
Issue Date
Title
Author(s)
Type
1997
Verificação e validação de sistemas baseados em conhecimento : veritas, uma ferramenta de verificação
Pereira, António Jorge dos Santos
Dissertação
1996
YAP : um gerador de código nativo para Prolog
Vaz, António Ismael de Freitas
Dissertação
