退出
我的积分:
中文文献批量获取
外文文献批量获取
张嵩高;
洛阳东方二中,河南,洛阳,471003;
矛盾度; α-矛盾度; α-差异度; 伪距离;
机译:Lukasiewicz n值命题逻辑中公式的真度理论和极限定理
机译:Łukasiewicz模糊与n值命题逻辑系统中理论的一致性程度
机译:N值中公式矢量表示的真理学位理论,Lukasiewicz命题逻辑系统
机译:命题逻辑中搜索算法的研究及其在生物发光层析成像中的应用。
机译:语文教师的控制过程和主观幸福感:生命发展动机理论的关键命题的融合和分歧的证明
机译:经典命题逻辑与变量的可判定性 直觉主义命题逻辑
机译:凹面优化方法与d'agostino表格在命题逻辑中的等价性
机译:通过将值和规则应用于从布尔公式生成的三元组来确定命题逻辑定理的系统
机译:在系统分析中检查命题逻辑定理的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。