Facultad
Informática
Capítulos de Libro (3) Publicaciones en las que ha participado algún/a investigador/a
1989
-
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
-
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
-
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