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