Procesamiento paralelo (Computadoras electrónicas) 2 Programación lógica 2 Prolog (Lenguaje de programación) 2 Bases de datos 1 Bases de datos relacionales 1 Diseño 1 Estructura de datos (Computación) 1 Lenguajes formales 1 Pascal (Lenguaje de programación) 1 Procesamiento electrónico de datos 1 Procesos distribuidos 1 Programación (Computadoras) 1 Programación funcional (Computadoras) 1 Teoría de las máquinas 1