Publicaciones en las que colabora con EDUARDO JAIME SARABIA ÁLVAREZ UDE (10)

2022

  1. hazLógica: o cómo aprender lógica haciendo lógica

    Jornada «Aprendizaje Eficaz con TIC en la UCM» (Universidad Complutense de Madrid), pp. 483-491

1996

  1. Análisis textual automático: el proyecto BiblioTECA

    Lenguajes naturales y lenguajes formales : actas del XII congreso de lenguajes naturales y lenguajes formales : (La Seu d'Urgel, 23-27 de septiembre de 1996)

1994

  1. Cálculo secuencial Lambek para programación lógica

    Perspectivas actuales de lógica y filosofía de la ciencia (Siglo XXI de España), pp. 193-202

1992

  1. Técnicas de metaprogramación en gramáticas lógicas

    Lenguajes naturales y lenguajes formales : actas del VII congreso de lenguajes naturales y lenguajes formales : (Vic-Barcelona, 23-27 de septiembre de 1991)

1990

  1. Sobre tópicos y términos primitivos de la intensión

    Revista de filosofía, Núm. 4, pp. 5-30

1989

  1. Lenguaje, objetos y significado

    Entre las ciencias humanas y la ética: homenaje al profesor Luis Cencillo (Universidad de Salamanca), pp. 39-51

1985

  1. Prueba automática para las lógicas LE, K, T y S4

    Teorema: Revista internacional de filosofía, Vol. 15, Núm. 1, pp. 213-230

1983

  1. Sobre metalógica y lógica trivalente

    Teorema: Revista internacional de filosofía, Vol. 13, Núm. 1, pp. 225-260

1981

  1. Lógica para lingüistas

    Thomson-Paraninfo