EUGENIO
ROANES LOZANO
Catedrático de universidad
FRANCISCO JAVIER
MONTERO DE JUAN
Catedrático de universidad
Publicacións nas que colabora con FRANCISCO JAVIER MONTERO DE JUAN (3)
2019
-
An Algebraic Approach to DC Railway Electrification Verification
Mathematics in Computer Science, Vol. 13, Núm. 3, pp. 449-457
2010
-
An algebraic method for managing reliability in propositional logics
Proceedings of 2010 IEEE International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2010
-
From computer algebra to discretized continuous logic
XV Congreso Español sobre Tecnologías y Lógica Fuzzy ESTYLF 2010: Huelva [Recurso electrónico]