Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
Demostración automática de teoremas (2003-04)
Temas
Enlace
a la asignatura del año anterior.
Demostración automática de teoremas