Acciones

Sistemas

De Razonamiento automático (2017-18)

Revisión del 12:35 22 oct 2017 de Jalonso (discusión | contribuciones) (→‎Sistemas utilizados en Razonamiento automático (2017-18))

Sistemas utilizados en Razonamiento automático (2017-18)

En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso

  1. Isabelle/HOL.
  2. APLI2 (APLIcación de Ayuda Para Lógica Informática).
  3. Conan (un editor de demostraciones por deducción natural).
  4. ELFE prover (Interactive theorem proving for students).
  5. Logitext (un demostrador interactivo basado en el cálculo de secuentes).
Obtenido de «https://www.glc.us.es/~jalonso/RA2017/index.php?title=Sistemas&oldid=17»