Publications by the researcher in collaboration with Luis María Laita de la Rica (13)

2011

  1. The Logics' Explorer: A Maple package for exploring finite many-valued propositional logics

    Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas ( RACSAM ), Vol. 105, Núm. 2, pp. 323-337

2010

  1. An algebraic approach to rule based expert systems

    Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas ( RACSAM ), Vol. 104, Núm. 1, pp. 19-40

  2. From computer algebra to discretized continuous logic

    XV Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2010: Huelva [Recurso electrónico]

2008

  1. Un sistema predictivo para la toma de decisiones inspirado por el modelo gravitacional

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 79, pp. 43-55

2007

  1. What machines can and cannot do

    Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas ( RACSAM ), Vol. 101, Núm. 2, pp. 133-157

2005

  1. Construcción, basa en la Lógica y el Álgebra Computacionales, de un Sistema Experto para diagnóstico de la Depresión

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 69, pp. 40-52

2003

  1. Aplicación de Maple 8

    Forum tecnológico, Núm. 4, pp. 7-8

  2. Cálculos efectivos en lógica proposicional booleana interpretada como un anillo de clases residuales (polinomial) sobre Z2

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 65, pp. 17-42

2002

  1. Un método pararnétrico para demostrar automáticamente y determinar lugares a partir de las construcciones geométricas

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 62, pp. 34-71

1998

  1. A Logic and computer algebra approach to a decision-making problem in medicine

    Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, Vol. 92, Núm. 4, pp. 299-306

1996

  1. Unos ejemplos de interés didáctico de Álgebras de Boole finitas: divisores de un producto de primos distintos dos a dos

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 44, pp. 34-44

1995

  1. Algunas observaciones sobre las álgebras de Boole (finitas) de partes de un conjunto y proposicional

    Boletín de la Sociedad Puig Adam de profesores de matemáticas, Núm. 39, pp. 29-39

  2. Una linea de trabajo en verificación de sistemas basados en conocimiento con técnicas de álgebra computacional

    Actas del primer Encuentro de Algebra Computacional y Aplicaciones, [EACA-95] : Santander, 18 y 19 de septiembre de 1995