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