退出
我的积分:
中文文献批量获取
外文文献批量获取
强华; 周虎;
银川能源学院基础部;
有限覆盖; 有限覆盖定理;
机译:阿基米德系算子在证明普通极大值的中心极限定理的证明中的一些应用:开放数学
机译:有效地检验Hol定理证明中的命题反驳
机译:Herbrand定理的一种改进及其在模型生成定理证明中的应用
机译:分层定理证明中的有限量化
机译:中心极限定理---在纯数学和应用数学中的应用。
机译:有限场理论中的一些定理及其在费马最后定理中的应用
机译:有效检查HOL定理证明中的命题反驳
机译:独立子目标在定理证明中的应用。
机译:通过将值和规则应用于从布尔公式生成的三元组来确定命题逻辑定理的系统
机译:在系统分析中检查命题逻辑定理的方法和装置
机译:命题模态逻辑定理证明装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。