Ciencias de la Computación e Inteligencia Artificial.

Máster Universitario en Matemática Avanzada: Demostración automática de teoremas; Fundamentos de la matemática; Inteligencia Artificial

Dpto. Ciencias de la Computación e Inteligencia Artificial