退出
我的积分:
中文文献批量获取
外文文献批量获取
王永安; 王国俊; 杨合俊;
陕西师范大学,数学与信息科学学院,陕西,西安,710062;
西安文理学院,数学系,陕西,西安,710065;
长安大学,理学院,陕西,西安,710064;
命题真度; 逻辑等价; 二值命题逻辑;
机译:Lukasiewicz n值命题逻辑中公式的真度理论和极限定理
机译:将二值命题逻辑中的卡尔马可推导性证明推广为多值逻辑
机译:二值命题逻辑中基于真度的逻辑度量表达式
机译:命题逻辑中搜索算法的研究及其在生物发光层析成像中的应用。
机译:人们喜欢逻辑真理:在基本命题中测试对逻辑价值的直觉检测
机译:变量关系与三值命题逻辑的对应关系
机译:凹面优化方法与d'agostino表格在命题逻辑中的等价性
机译:通过将值和规则应用于从布尔公式生成的三元组来确定命题逻辑定理的系统
机译:在系统分析中检查命题逻辑定理的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。