Formalización de una base de datos deductiva temporal desde la perspectiva de la lógica modal temporal

• Autores: Matilde Celma Giménez , N. García, C. García
• Localización: VI Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA 95: actas. Alicante, 15, 16 y 17 de noviembre de 1995, 1995, ISBN 84-920982-0-1, págs. 47-56
• Idioma: español
• Texto completo no disponible (Saber más ...)