Capítulos de Libro (3) Publicaciones en las que ha participado algún/a investigador/a

1989

  1. Un estudio de las funciones parciales en la lógica de primer orden

    Lenguajes naturales y lenguajes formales IV: vol 2. (Facultat de Filologia), pp. 629-644

  2. Un estudio sobre la expresividad en lenguajes de programación funcionales

    Lenguajes naturales y lenguajes formales IV: vol 2. (Facultat de Filologia), pp. 645-656

  3. Un proyecto de desarrollo de un demostrador interactivo basado en MIZAR

    Lenguajes naturales y lenguajes formales IV: vol 2. (Facultat de Filologia), pp. 685-692