Deducción automatizada en lógica modal

• Autores: Antonio Frías Delgado
• Localización: Lenguajes naturales y lenguajes formales : actas del VII congreso de lenguajes naturales y lenguajes formales : (Vic-Barcelona, 23-27 de septiembre de 1991) / coord. por Carlos Martín Vide , 1992, ISBN 84-7665-988-1, págs. 375-380
• Idioma: español
• Texto completo no disponible (Saber más ...)