TY  - GEN
AU  - Lopéz Cuadrado, Javier
AU  - Peréz Jiménez, Sergio
AU  - Sánchez Manzano, Alberto
A4  - Vado Vírseda, Rafael del
PY  - 2007
UR  - https://hdl.handle.net/20.500.14352/54299
AB  - La aplicación permite demostrar la corrección de argumentaciones tanto en lógica proposicional como en lógica de primer orden por el método de los tableaux. El usuario puede introducir un conjunto de premisas o cláusulas y comprobar si de ellas se...
LA  - spa
TI  - Una herramienta para el testeo de propiedades formales de programas basada en técnicas de demostración automática
TY  - coursework
ER  -