Obtención de explicaciones orientadas al humano a partir de demostraciones automáticas de teoremas: un algoritmo de transformación

• Autores: Assumpciò Casanova
• Localización: Actas del X Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Salamanca, 16-19 de noviembre de 2021 / Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (aut.), Ana Cuevas Badallo (dir. congr.), Obdulia M. Torres González (dir. congr.), Víctor Aranda (dir. congr.), Andrei Moldovan (dir. congr.), 2021, ISBN 978-84-09-35510-5, págs. 6-9
• Idioma: español
• Enlaces
  • Texto Completo Libro (pdf)