Sistemas
De Razonamiento automático (2017-18)
Revisión del 07:44 17 sep 2017 de Jalonso (discusión | contribuciones)
Sistemas utilizados en Razonamiento automático (2017-18)
En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso
- Isabelle/HOL.
- APLI2 (APLIcación de Ayuda Para Lógica Informática).
- Conan (un editor de demostraciones por deducción natural).
- Logitext (un demostrador interactivo basado en el cálculo de secuentes).