Publicaciones (7) Publicaciones en las que ha participado algún/a investigador/a

1990

  1. A first order logic for partial functions

    Theoretical Computer Science, Vol. 74, Núm. 1, pp. 37-69

  2. Column Completion of a Pair of Matrices

    Linear and Multilinear Algebra, Vol. 27, Núm. 4, pp. 243-273

  3. Dynamic screening of swift hydrogenlike ions moving in condensed matter

    Nuclear Inst. and Methods in Physics Research, B, Vol. 48, Núm. 1-4, pp. 21-24

  4. La policía en la Comunidad Autónoma Vasca: encuesta de opición realizada por el IVAC-KREI. 1990

    Eguzkilore: Cuaderno del Instituto Vasco de Criminología, Núm. 4, pp. 189-202

  5. SEMANTIC OPTIMIZATION IN DATA-BASES USING ARTIFICIAL-INTELLIGENCE TECHNIQUES

    ARTIFICIAL INTELLIGENCE IN DATABASE AND INFORMATION SYSTEMS ( DS-3 )

  6. 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

  7. Visión funcional de los sistemas operativos

    Bilbao? : Servicio Editorial, Universidad del País Vasco = Argitarapen Zerbitarapen Zerbitzua, Euskal Herriko Univertsitatea, D.L. 1990