Prueba automática para las lógicas LE, K, T y S4
- Sarabia Álvarez-Ude, Jaime
- Benítez, Antonio
ISSN: 0210-1602
Any de publicació: 1985
Volum: 15
Número: 1-2
Pàgines: 213-230
Tipus: Article
Altres publicacions en: Teorema: Revista internacional de filosofía