Departamento
Lenguajes y Sistemas Informáticos
Publicaciones (6) Publicaciones en las que ha participado algún/a investigador/a
1993
-
A morphological analysis based method for spelling correction
6th Conference of the European Chapter of the Association for Computational Linguistics, EACL 1993 - Proceedings
-
Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
Acta Informatica, Vol. 30, Núm. 2, pp. 147-180
-
Implementation and behavioural equivalence: A survey
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Programen egiaztapena eta eratorpena
Bilbo : Udako Euskal Unibertsitatea, 1993
-
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