Achegas congreso (1) Publicacións nas que participase algún/ha investigador/a

1992

  1. 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)