TY - BOOK AU - Sobrino,Alejandro AU - Dahl,Verónica ED - Universidad de Santiago de Compostela TI - Estudios sobre programación lógica y sus aplicaciones T2 - Cursos e Congresos da Universidade de Santiago de Compostela SN - 84-8121-399-3 PY - 1996/// CY - Santiago de Compostela PB - Universidade KW - Programming (Electronic computers) KW - Logic, symbolic and mathematical KW - Numerical analysis KW - Programación de ordenadores KW - Lógica simbólica y matemática KW - Análisis numérico KW - Programación lógica ER -