Acciones

Sistemas

De Razonamiento automático (2018-19)

Revisión del 18:30 8 feb 2022 de Jalonso (discusión | contribuciones) (Editores de pruebas por secuentes)
(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

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

1 Asistentes de demostración

2 Editores de pruebas por deducción natural

3 Editores de pruebas por secuentes

  • Logitext (un demostrador interactivo basado en el cálculo de secuentes).

4 Formalización