退出
我的积分:
中文文献批量获取
外文文献批量获取
张冕; 刘庆丰;
阜阳师范学院数学与统计学院;
阜阳师范学院附属中学;
方向导数; 中值定理; 推论; 常值函数;
机译:切线方向定理和冲击函数定理的一个构造变量的初等证明
机译:通过简化为Kleene逻辑证明具有部分函数的古典逻辑的定理
机译:用推论推理证明定理证明可满足性
机译:启发式定理证明:另一个SMT模定理证明
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:冯·诺曼协调定理的简化证明
机译:使用欧拉方程式的Fermat的最后定理证明:一个推论
机译:与Boyer-moore定理证明器的相互作用:使用算术几何中值定理的教程研究
机译:推论的方法和装置以及证明定理的方法和装置
机译:利用分段线性定理简化反求正切函数的装置和方法
机译:用于定理证明的设备和方法,但不披露导致定理的文件
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。