Acciones

Sistemas

De Razonamiento automático (2017-18)

Revisión del 19:28 8 feb 2022 de Jalonso (discusión | contribuciones) (→‎Sistemas utilizados en Razonamiento automático (2017-18))
(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

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. ELFE prover (Interactive theorem proving for students).
  4. 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=352»