- Construcción y características del lenguaje
- Language constructs and features 4
- Clasificación de lenguajes 2
- Concurrent programming 2
- Deducción y prueba de teoremas 2
- Deduction and theorem proving 2
- Language classifications 2
- Programación concurrente 2
- Administración de bases de datos 1
- Almacenamiento y recuperación de la información 1
- Búsqueda y recuperación de la información 1
- Data structures 1
- Database management 1
- Distributed systems 1
- Estructura de datos 1
- Information search and retrieval 1
- Information storage and retrieval 1
- Knowledge representation formalisms and methods frames and scripts 1
- Lógica matemática-Computación 1
- Lógica matemática-Computación- 1
- Mathematical logic-Computation 1
- Mathematical logic-Computation- 1
- Multiple data stream architectures 1
- Problem solving, control methods, and search backtracking 1
- Procesadores 1
- Processors 1
- Programación-Técnicas 1
- Programas-Especificación. - 1
- Programas-Verificación 1
- Programming techniques 1
-
1
-
2
-
3
-
4