退出
我的积分:
中文文献批量获取
外文文献批量获取
杨奎元; 杨立成; 贾保顺; 姚珍; 赵领欢; 王文革;
洛阳石化医院,471012;
糖代谢系统; 变化度; 细胞功能值; 数学积;
机译:用于在基础水平上发展数学技能的交互式软件-用于在基础水平上交互式发展数学技能的软件
机译:对证明和证明的证明知觉和态度的研究:对基础数学应聘教师的一些启示
机译:C.K.拉珠数学的文化基础:数学证明的本质和十六世纪微积分从印度到欧洲的传播。 CE。
机译:具有基础Harary图的Kuramoto耦合振荡器的1扭曲平衡点的优势
机译:具有非线性阻尼的点吸收器波功率器件的物理和数学建模(能量,振荡器)。
机译:Mizar数学库在Mizar中进行交互式证明开发的作用
机译:数学教育中的证明指导基础研究:基于对行动证明为选项的证明证明的调查
机译:Imps:交互式数学证明系统
机译:纺织工业用的开放式转杯纺纱机,具有基于纺纱器数学计算过程计算纺纱参数的优化基础设置并将基础设置传输至工作站的计算机设备
机译:该表通过应用于定义间隔的线条上的颜色系统,给出了音乐触及范围的数学解释的数学证明
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。