Dpto. de Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla

Máster Universitario en Matemáticas:

Lógica Computacional y Teoría de Modelos

Teoría de la Complejidad Computacional