Demostración automática de teoremas (2014-15)
De Demostración automática de teoremas (2014-15)
Revisión del 21:15 15 jul 2018 de Jalonso (discusión | contribuciones) (→Demostración automática de teoremas (2014-15))
Este sitio contiene materiales del curso Demostración automática de teoremas del Máster Universitario en Matemática Avanzada de la Universidad de Sevilla.
Material para el curso
- Temas: Teorías de los temas.
- Ejercicios: Relaciones de ejercicios.
- Trabajos: Teorías para desarrollar.
- Documentación: Lecturas recomendadas.
- Sistemas: Sistemas utilizados.