Deducción automatizada en lógica modal
- Martín Vide, Carlos (coord.)
Verlag: Promociones y Publicaciones Universitarias, PPU
ISBN: 84-7665-988-1
Datum der Publikation: 1992
Seiten: 375-380
Kongress: Congreso de Lenguajes Naturales y Lenguajes Formales (7. 1991. Vic)
Art: Konferenz-Beitrag