-
1161
-
1162
-
1163
-
1164
-
1165
-
1166
-
1167
-
1168
-
1169
-
1170por Armando, Alessandro., Baumgartner, Peter, Dowek, Gilles., International Joint Conference, IJCAR 2008Assuntos: “...Lógica de computador....”
Mais informações
Livro -
1171
-
1172
-
1173
-
1174
-
1175
-
1176
-
1177
-
1178
-
1179
-
1180
-
1181por Nilsson, Ulf, MaluszynkiAssuntos: “...Programação lógica (Computação)...”
Mais informações
Livro -
1182
-
1183
-
1184
-
1185
-
1186
-
1187
-
1188
-
1189
-
1190por Bezem, M., Groote, J. F., International Conference on Typed Lambda Calculi and Applications TLCA'93 ;Assuntos: “...Lógica simbólica e matemática -...”
Mais informações
Livro -
1191
-
1192
-
1193
-
1194
-
1195
-
1196
-
1197
-
1198
-
1199
-
1200