退出
我的积分:
中文文献批量获取
外文文献批量获取
王靖娜;
陕西广播电视大学学习支持服务中心;
西安电子科技大学;
一次同余式; 求解定理; 数论课; 学习方法;
机译:量子力学中的遍历定理和H定理的证明〜*翻译:新力学中的遍历定理和H定理的证明
机译:带有可满足模理论求解器的多值逻辑的自动定理证明
机译:SMT求解器:HOL定理证明者的新预言
机译:使用SMT求解器的规范定理的证明及其在软件开发中的应用
机译:并行化交互式定理证明:使用ACL2进行函数式编程和证明。
机译:每天一次甘精胰岛素与每天两次NPH相比降低了低血糖的风险并证明了损害NPH所需的数量可以证明2型糖尿病又发生一次降血糖事件的风险:一项长期对照试验的证据
机译:公路工程项目档案管理中应重视的问题详析
机译:哪个定理证明。四种定理证明方法综述
机译:用于定理证明的设备和方法,但不披露导致定理的文件
机译:勾股定理证明的新方法
机译:毕达哥拉斯定理证明难题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。