EUGENIO
ROANES LOZANO
Catedrático de universidad
J.A.
Alonso
Publikationen, an denen er mitarbeitet J.A. Alonso (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