TY - BOOK AU - Casamayor Ródelas,Juan Carlos AU - Servicio de Publicaciones, ed. ED - Celma Giménez, Matilde ED - Departamento de Sistemas Informativos y Computación TI - Lógica y bases de datos AV - QA 76 9 D3 C38 PY - 1993/// CY - Valencia, España PB - Universidad Politécnica de Valencia, Servicio de Publicaciones KW - Dirección de bases de datos KW - Lógica simbólica y matemática N1 - Incluye bibliografía e índice ER -