Fakultät
Informática
Buchkapitel (3) Publikationen, an denen Forscher/innen teilgenommen haben
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