EUGENIO
ROANES MACÍAS
Researcher to 2008
A.
Hernando
Publications by the researcher in collaboration with A. Hernando (1)
2011
-
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