A logic-algebraic approach to decision taking in a railway interlocking system

  1. Hernando, A.
  2. Roanes-Lozano, E.
  3. Maestre-Martínez, R.
  4. Tejedor, J.
Aldizkaria:
Annals of Mathematics and Artificial Intelligence

ISSN: 1012-2443

Argitalpen urtea: 2012

Alea: 65

Zenbakia: 4

Orrialdeak: 317-328

Mota: Artikulua

DOI: 10.1007/S10472-012-9321-Y GOOGLE SCHOLAR