Aplicación de la lógica temporal proposicional para la representación y deducción de conocimientos temporales

• Autores: Joaquín Borrego Díaz, Bettina Kemme
• Localización: Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) / coord. por Carlos Martín Vide, 1994, ISBN 84-477-0396-7, págs. 459-466
• Idioma: español
• Texto completo no disponible (Saber más ...)