EUGENIO
ROANES MACÍAS
Investigador hasta 2008
A.
Hernando
Publicaciones en las que colabora con 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