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 ...)