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

1993

  1. Contextual rewriting as a sound and complete proof method for conditional LOG-specifications

    Acta Informatica, Vol. 30, Núm. 2, pp. 147-180

  2. Supporting drug design using an incremental learning approach

    Artificial Intelligence in Engineering, Vol. 8, Núm. 3, pp. 201-216

  3. Un modelo de diálogo para diálogos orientados por la tarea

    Procesamiento del lenguaje natural, Núm. 13, pp. 289-304