Razonamiento automático (2000-01)

El curso se divide en dos partes: la primera aborda la deducción automática con Otter y Mace, incluyendo sus fundamentos y aplicaciones; la segunda se centra en el aprendizaje automático simbólico.

Temas


José A. Alonso Jiménez
Sevilla, 08 de junio del 2025
Licencia: Creative Commons.