Publicaciones en las que colabora con A. Hernando (1)

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