Instituto de investigación

Instituto de Lingüística Aplicada (ILA)

Detalle Investigadores/as Grupos Proyectos Publicaciones Colaboración Tesis Patentes

Año de publicación: 1992 Tipo (agr.): Aportaciones congreso

Aportaciones congreso (1) Publicaciones en las que ha participado algún/a investigador/a

1992

Deducción automatizada en lógica modal
Lenguajes naturales y lenguajes formales : actas del VII congreso de lenguajes naturales y lenguajes formales : (Vic-Barcelona, 23-27 de septiembre de 1991)