Acciones

Diferencia entre revisiones de «Tema 9: Editores lógicos»

De Razonamiento automático (2018-19)

(Deducción natural con Pandora)
(Deducción natural con Pandora)
Línea 3: Línea 3:
 
* Pandora se encuentra [http://www.doc.ic.ac.uk/pandora/newpandora aquí] (o en su [https://www.cs.us.es/~jalonso/cursos/lmf/sistemas/pandora.jar copia local])
 
* Pandora se encuentra [http://www.doc.ic.ac.uk/pandora/newpandora aquí] (o en 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].
+
* Un libro que usa Pandora es [http://pubs.doc.ic.ac.uk/reasoned-programming/reasoned-programming.pdf Reasoned programming] por K. Broda, S. Eisenbach, H. Khoshnevisan y S. Vickers.  
  
 
* Ejemplos con Pandora
 
* Ejemplos con Pandora

Revisión del 11:22 24 ene 2019

1 Deducción natural con Pandora

  • Un libro que usa Pandora es Reasoned programming por K. Broda, S. Eisenbach, H. Khoshnevisan y S. Vickers.

2 Deducción natural con Conan

  • Conan se encuentra aquí.
  • La descripción de Conan se encuentra aquí.

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í.

5 Formalización