Pages that link to "Item:Q740741"
From MaRDI portal
The following pages link to An approach from answer set programming to decision making in a railway interlocking system (Q740741):
Displaying 5 items.
- A logic approach to decision taking in a railway interlocking system using Maple (Q417950) (← links)
- A logic-algebraic approach to decision taking in a railway interlocking system (Q694549) (← links)
- A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking (Q1349163) (← links)
- An applicable topology-independent model for railway interlocking systems (Q1404698) (← links)
- Looking for compatible routes in the railway interlocking system of an overtaking station using a computer algebra system (Q2110247) (← links)