EUGENIO
ROANES MACÍAS
Ikertzailea 2008-(e)ra arte
A.
Hernando
A. Hernando-rekin lankidetzan egindako argitalpenak (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