机译:使用Maple的铁路联锁系统决策的逻辑方法
Departamento de Algebra, Facultad de Education, Universidud Complutense de Madrid,d Rector Royo Villanova s, 28040 Madrid, Spain;
Depto. de Sistemas Inteligentes Aplicados, Escuela Universitaria de Informdtica, Universidad Politecnica de Madrid,Carretera de Valencia km 7, 28031 Madrid, Spain;
Depto. de CC. de la Computation e lnteligencia Artificial, E.T.S.I. Informdtica, Universidad de Sevilla,Av. Reina Mercedes s, 41012 Sevilla, Spain;
Depto. de lnteligencia Artificial, Facultad de Informdtica, Universidad Politecnica de Madrid,Campus de Montegancedo, 28660 Boadilla del Monte, Madrid, Spain;
railway interlocking systems; logic; decision theory; graph theory;
机译:铁路联锁系统中决策的逻辑代数方法
机译:基于预处理的铁路联锁系统决策新代数方法
机译:基于预处理的铁路联锁系统决策新代数方法
机译:基于系统状态演化命题逻辑的基于中继的铁路联锁系统B规范
机译:管理半导体制造发布决定中的不确定性:基于模糊逻辑的方法
机译:探索枫树休眠释放对汁液变化和枫糖浆质量的影响的系统生物学方法
机译:用于异源铁路信号系统的ATS互锁逻辑的补充
机译:辐射联锁:传统硬连线逻辑与计算机系统之间的选择