Artikel (3) Publikationen, an denen Forscher/innen teilgenommen haben

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