EUGENIO
ROANES MACÍAS
Chercheur jusqu {1}
A.
Hernando
Publications dans lesquelles il/elle collabore avec 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