Departamento
Lenguajes y Sistemas Informáticos
Artículos (3) Publicaciones en las que ha participado algún/a investigador/a
1993
-
Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
Acta Informatica, Vol. 30, Núm. 2, pp. 147-180
-
Supporting drug design using an incremental learning approach
Artificial Intelligence in Engineering, Vol. 8, Núm. 3, pp. 201-216
-
Un modelo de diálogo para diálogos orientados por la tarea
Procesamiento del lenguaje natural, Núm. 13, pp. 289-304