Diferencia entre revisiones de «Tema 9: Editores lógicos»
De Razonamiento automático (2018-19)
(→Cálculo de secuentes con Sequent Calculus Trainer) |
(→Deducción natural con Pandora) |
||
Línea 2: | Línea 2: | ||
* El sitio de Pandora es [http://www.doc.ic.ac.uk/pandora/newpandora] (o su [https://www.cs.us.es/~jalonso/cursos/lmf/sistemas/pandora.jar copia local]) | * El sitio de Pandora es [http://www.doc.ic.ac.uk/pandora/newpandora] (o su [https://www.cs.us.es/~jalonso/cursos/lmf/sistemas/pandora.jar copia local]) | ||
+ | |||
+ | * Un libro que usa Pandora es el de K. Broda, S. Eisenbach, H. Khoshnevisan y S. Vickers [http://pubs.doc.ic.ac.uk/reasoned-programming/reasoned-programming.pdf Reasoned programming]. | ||
* Ejemplos con Pandora | * Ejemplos con Pandora |
Revisión del 12:21 24 ene 2019
Sumario
1 Deducción natural con Pandora
- El sitio de Pandora es [1] (o su copia local)
- Un libro que usa Pandora es el de K. Broda, S. Eisenbach, H. Khoshnevisan y S. Vickers Reasoned programming.
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 encuentra aquí.