Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
Razonamiento automático
(5º de Ingeniería Informática)
Curso 99-00
Plan docente
de la asignatura.
Temas
Prácticas
Documentación
Sistemas