机译:混合和次指数线性逻辑
机译:非交换线性逻辑中的子指数
机译:使用次指数在线性逻辑中指定证明系统
机译:基于混合进化算法的模糊逻辑控制器,用于调速器死区非线性的电力系统自动发电控制
机译:具有次指数的线性逻辑中有向图结构的适当合成编码
机译:混合算法及其在非线性系统模糊逻辑建模中的应用。
机译:强大的...... - 在不确定非线性扰动存在下用于增强轮式移动机器人的跟踪性能的模糊逻辑控制
机译:subexponentials in non-inteutative linear logic