Intell. Control Dev. Center, Southwest Jiaotong Univ., Chengdu, China;
a-ordered linear generalized resolution method; lattice implication algebra; lattice-valued first-order logic;
机译:格子值逻辑系统中的多artα订购线性最小分辨率方法
机译:基于格值一阶逻辑LF(X)的多进制alpha语义分辨率自动推理
机译:格值一阶逻辑Lvfi(II)中具有广义量词的a分解原理
机译:用于晶格重量的一阶逻辑的非锁友多aryα订购的线性广义分辨率分辨率方法
机译:基于误差绑定类型条件的非谐波正则优化的一阶方法的线性融合
机译:高分辨率高斜率SAR成像的广义非线性Chirp缩放算法
机译:用于有限晶格型逻辑的非字词多ARY A-Aligentizate积分
机译:基于广义平均方法的递归公式一阶半解析人造卫星理论。第1卷:应用于人造卫星问题的广义平均方法