- Artificial intelligence 6
- Inteligencia artificial 6
- Algebra homológica 4
- Teoría de categorías 4
- Teoría de categorías y álgebra homológica 4
- Teoría de grafos 4
- Análisis funcional 3
- Análisis numérico 3
- Discrete mathematics 3
- Ecuaciones diferenciales parciales 3
- Ingeniería de software 3
- Lógica matemática 3
- Lógica matemática-Computación 3
- Matemática discreta 3
- Mathematical logic 3
- Mathematical logic-Computation 3
- Software engineering 3
- Teoría de operadores 3
- Varias variables complejas y espacios analíticos 3
- Algebra lineal 2
- Algebra multilineal 2
- Algebraic manipulation 2
- Algebras y anillos conmutativos 2
- CONGRESOS FILOSOFICOS 2
- Combinatoria 2
- Database management 2
- Deducción y prueba de teoremas 2
- Deduction and theorem proving 2
- Diseño lógico 2
- Distributed systems 2
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /
Published 1990Conference Proceeding Book -
16
-
17
-
18
-
19
-
20
Applications of numerical analysis; held in Dundee/Scotland, March 23-26, 1971 : procedings... /
Published 1971Conference Proceeding Book