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

1995

  1. A gentle introduction to algorithm complexity for CS1 with nine variations on a theme by Fibonacci

    ACM SIGCSE Bulletin, Vol. 27, Núm. 2, pp. 49-56

  2. A total AC-compatible ordering based on RPO

    Theoretical Computer Science, Vol. 142, Núm. 2, pp. 209-227

  3. Case-based retrieval of software components

    Expert Systems With Applications, Vol. 9, Núm. 3, pp. 397-405

  4. La programación funcional en Haskell

    Novática: Revista de la Asociación de Técnicos de Informática, Núm. 115, pp. 42

  5. La selección de personal a través de un sistema experto informático de evaluación: la experiencia de Iberpacking/Seri-Envás

    Capital humano: revista para la integración y desarrollo de los recursos humanos, Año 8, Núm. 83, pp. 50-52

  6. La selección de personal a través de un sistema experto informático de evaluación: la experiencia de iberpacking/Seri-Envas

    Capital humano: revista para la integración y desarrollo de los recursos humanos, Núm. 83, pp. 50-52

  7. Theorem proving with ordering and equality constrained clauses

    Journal of Symbolic Computation, Vol. 19, Núm. 4, pp. 321-351