...
机译:同时赋值布尔方程的符号计算对逻辑控制器的设计
机译:布尔网络中基于吸引子的控制节点和控制器最小集合的同时设计
机译:布尔网络中基于吸引子的控制节点和控制器最小集合的同时设计
机译:使用高阶逻辑(HOL)软件的布尔电路分支程序的通用计算框架和仿真-对ECAD工具设计范例的见解
机译:从Petri网转换成布尔方程,用于逻辑控制器的代数设计
机译:非线性偏差分方程对Lax对的符号计算
机译:基于可调锌指的哺乳动物细胞布尔逻辑计算框架
机译:基于吸引子的Bolean网络中最小控制节点和控制器的同时设计