Fachbereich
Lenguajes y Sistemas Informáticos
Publikationen (3) Publikationen, an denen Forscher/innen teilgenommen haben
1990
-
A first order logic for partial functions
Theoretical Computer Science, Vol. 74, Núm. 1, pp. 37-69
-
SEMANTIC OPTIMIZATION IN DATA-BASES USING ARTIFICIAL-INTELLIGENCE TECHNIQUES
ARTIFICIAL INTELLIGENCE IN DATABASE AND INFORMATION SYSTEMS ( DS-3 )
-
Verificación de programas y metodología de la programación
Bilbao : Servicio Editorial, Universidad del País Vasco = Argitarapen Zerbitzua, Euskal Herrio Unibersitatea, 1990