Ikerketa institutua
Instituto de Lingüística Aplicada (ILA)
Biltzar ekarpenak (1) Ikertzaileren baten partaidetza izan duten argitalpenak
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)