EUGENIO
ROANES LOZANO
Catedrático de universidad
Universidad de Sevilla
Sevilla, EspañaPublicacións en colaboración con investigadores/as de Universidad de Sevilla (3)
2014
-
Revisiting four-valued logics from Maple using the Logics Explorer package
Mathematics and Computers in Simulation, Vol. 104, pp. 31-42
2011
-
A logic approach to decision taking in a railway interlocking system using Maple
Mathematics and Computers in Simulation
2009
-
Evolution of railway network flexibility: The Spanish broad gauge case
Mathematics and Computers in Simulation, Vol. 79, Núm. 8, pp. 2317-2332