Volver atrás Publicación
Celma Giménez Matilde, García Miragall Carlos Manuel, García N.
1995
Formalización de una base de datos deductiva temporal desde la perspectiva de la lógica modal temporal