automated reasoning; general g-clause; generalized linear resolution; lattice implication algebra; lattice-valued logic;
机译:格值命题逻辑系统中格值角号广义子句的alpha解析方法
机译:格值命题逻辑系统中格值角号广义子句的α解析方法
机译:基于格蕴涵代数的格值逻辑系统α阶线性分解方法
机译:基于格子值一阶逻辑系统的α-广义线性分辨率方法
机译:基于误差绑定类型条件的非谐波正则优化的一阶方法的线性融合
机译:使用广义线性系统分析(GMTFGDQE)的微血管造影荧光镜(MAF)中高分辨率(HR)和高光(HL)磷光体的评价与比较包括散射放大和探测器特性的效果
机译:晶格值突出逻辑系统格子值喇叭通用条款的α分辨率方法
机译:基于广义平均方法的递归公式一阶半解析人造卫星理论。第1卷:应用于人造卫星问题的广义平均方法