Algorithms; Artificial Intelligence;
机译:Petri网和梯形逻辑,用于半自动机器和系统的全自动和可编程逻辑控制科学出版物
机译:Petri网和梯形逻辑,用于半自动机器和系统的全自动和可编程逻辑控制
机译:使用有限等式理论作为背景知识学习逻辑程序
机译:制造商:用于工业自动化和控制教育的便携式可编程逻辑控制器(PLC)套件的自动化系统模块的设计和评估
机译:角集的语义参数调制(逻辑,等式,定理证明)。
机译:高效实现NFFT算法的可编程逻辑中的自动化软件加速:一个案例研究
机译:挑战在平等和组合逻辑上的挑战问题:评估自动化定理证明计划