退出
我的积分:
中文文献批量获取
外文文献批量获取
邵兴;
中国力学学会;
山东力学学会;
河南省力学学会;
质点运动; 速度合成; 相对位移; 牵连位移;
机译:数学问题解决还是定理证明?
机译:一种计算机辅助环境,用于理解几何定理证明问题并做出猜想
机译:使用定理证明来解决约束问题
机译:通过使用HOL定理证明系统,自动合成后验证支持高级合成步骤
机译:合成气成分对火焰速度和火焰前锋稳定性的影响=合成气成分对火焰速度和火焰前部稳定性的影响
机译:自动合成流式细胞仪数据可视化的定理证明方法
机译:归纳定理证明中的战略问题,问题和挑战
机译:结合符号计算和定理证明:Ramanujan的几个问题
机译:诊断应试者的问题的方法,包括诊断问题的速度和记录用于执行相同程序的程序的存储介质
机译:寡核苷酸杂交问题和最优选问题的合成方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。