退出
我的积分:
中文文献批量获取
外文文献批量获取
连秀国;
无;
定理; 有限可判定性; 命题逻辑; 形式系统;
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:PAC场的可判定性和不可判定性定理
机译:返回具有通信界限的并行通信有限自动机:层次结构,可判定性和不可判定性
机译:在向量计算机上命题逻辑中使用定理证明定理广义戴维斯-普特曼程序
机译:超度的可判定性和超算术分析定理
机译:贝尔定理和观点之间的可判定性问题 爱因斯坦和玻尔的
机译:经典命题逻辑与变量的可判定性 直觉主义命题逻辑
机译:机器代数理论。一,主要分解定理。有限半群的素分解定理
机译:在系统分析中检查命题逻辑定理的方法和装置
机译:通过将值和规则应用于从布尔公式生成的三元组来确定命题逻辑定理的系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。