退出
我的积分:
中文文献批量获取
外文文献批量获取
钟毅成;
数学归纳法; 数学命题; 数学教材; 自然数集合; 归纳公理; 不小于; 已知条件; 运算方法; 侧石; 石丁;
机译:数学归纳法和英国奇迹的本质一种证明传统观念的数学方法
机译:命题证明复杂性的一种新的权衡。
机译:学生对数学证明和命题证明的证明计划
机译:通过归纳法使用证明来查找“传统”证明
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:劳动的归纳法:归纳法方法和危险
机译:纯粹和应用数学的基本结果的概要:包含命题,配方和分析方法,具有删节示范
机译:归纳法对格雷斯定理的证明
机译:从命题逻辑证明满意公式的密码学方法
机译:通过命题逻辑证明可满足公式的密码学方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。