退出
我的积分:
中文文献批量获取
外文文献批量获取
林高丽;
温州职业技术学院,浙江,温州,325035;
中值定理; 证明;
机译:Herbrand定理的一种改进及其在模型生成定理证明中的应用
机译:在某些定序统计的几乎绝对极限定理的证明中关于弧菌的某些应用
机译:ACL2定理证明中的Android平台建模和Android应用验证
机译:一个新的中值公式,用于l1最小化的快速坐标下降法以及在源检测中的应用。
机译:有限场理论中的一些定理及其在费马最后定理中的应用
机译:关于矢量值函数的中值定理,及其在“右手导数”方程的唯一性定理中的应用
机译:应用中值定理的数值方法
机译:定理定理在那里有定理伴随定理
机译:用于使用集成应用程序记录自定义应用程序并记录其中值的服务器和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。