机译:基于格蕴涵代数的格值逻辑系统α阶线性分解方法
Intelligent Control Development Center, Southwest Jiaotong University, Chengdu 610031, China;
College of Mathematics, Southwest Jiaotong University, Chengdu 610031, China;
automated reasoning; lattice implication algebra; lattice-valued logic; α-ordered linear resolution; ordered generalised clause;
机译:格值命题逻辑系统中格值角号广义子句的alpha解析方法
机译:格值命题逻辑系统中格值角号广义子句的α解析方法
机译:基于格蕴涵代数的格值逻辑解析自动推理研究进展
机译:非线性对流扩散系统解的计算中的格子气和格子玻尔兹曼方法的数值理论
机译:人类全心脏机电的解剖学精确高分辨率建模:一种用于非线性变形的强可扩展代数多重网格求解器方法
机译:基于晶格暗示代数的晶格价一阶逻辑的α分辨率的确定