退出
我的积分:
中文文献批量获取
外文文献批量获取
孟庆党;
机译:浅谈核心素养下拓展性数学课堂教学设计——以《图形面积 与代数恒等式》为例
机译:一些涉及二项式系数的恒等式的计算机代数证明
机译:正式验证矩阵代数恒等式的证明
机译:连接编译器,证明检查器和基础证明代码的证明。
机译:一种新的递归算法用于计算详细的恒等式系数
机译:分数阶贝塞尔函数的一些恒等式的计算机辅助证明
机译:没有Bartlett恒等式的似然计算
机译:具有基于三角恒等式的幅度控制装置的正交振荡器
机译:时间证明装置,时间证明要求接受装置,时间证明方法,时间证明要求接受方法,时间证明程序,时间证明要求接受程序,时间证明确认程序以及程序记录介质
机译:位置证明设备,时间证明设备,位置证明设备,时间证明设备,位置证明系统和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。