Razonamiento Automático

Máster Universitario en Lógica, Computación e Inteligencia Artificial

E. T. S. Ingeniería Informática

Datos básicos
Asignatura optativa de primer curso que se imparte en español.
Enlaces
Página web de la asignatura: https://www.cs.us.es/cursos/ram-2022
Profesorado
Durante el curso académico 2022/2023 la docencia de la asignatura que corresponde al departamento se ha impartido por:
Francisco Jesús Martín Mateos