Narrow search
Showing 1 - 2 of 2
Cover Image
A logic approach to decision taking in a railway interlocking system using Maple
Roanes-Lozano, Eugenio; Hernando, Antonio; Alonso, Jose … - In: Mathematics and Computers in Simulation (MATCOM) 82 (2011) 1, pp. 15-28
Boolean Logic, and independent from the topology of the station is presented in this paper. According to this new model, any …
Persistent link: https://www.econbiz.de/10010870029
Cover Image
Colligation or the logical inference of interconnection
Franksen, Ole Immanuel; Falster, Peter - In: Mathematics and Computers in Simulation (MATCOM) 52 (2000) 1, pp. 1-9
concept seems to be without scientific underpinning in pure logic. Adopting a historical viewpoint, our aim is to show that …
Persistent link: https://www.econbiz.de/10010870649