Tema 9: Editores lógicos
De Razonamiento automático (2018-19)
Revisión del 12:18 24 ene 2019 de Jalonso (discusión | contribuciones) (Página creada con «== Deducción natural con Pandora == * El sitio de Pandora es [http://www.doc.ic.ac.uk/pandora/newpandora] (o su [https://www.cs.us.es/~jalonso/cursos/lmf/sistemas/pandor…»)
Sumario
1 Deducción natural con Pandora
- El sitio de Pandora es [1] (o su copia local)
2 Deducción natural con Conan
3 Cálculo de secuentes con Logitext
- Logitext se encuentra aquí aquí.
4 Cálculo de secuentes con Sequent Calculus Trainer
- Sequent Calculus Trainer se encuentraaquí.