退出
我的积分:
中文文献批量获取
外文文献批量获取
刘广平; 彭刚;
广东岭南职业技术学院,广东广州510663;
极限; 公式; 证明; 应用;
机译:在Grzegorczyk逻辑和可证明性逻辑中只有一个原子公式的公式
机译:Watson_8φ_7变换公式的极限情况的双射证明
机译:Watson 8 sub>φ7 sub>变换公式的极限情况的双射证明
机译:使用有限元分析对承受轴向力和弯曲的构件的弹性极限证明公式进行验证
机译:后代数系统和后代数:一个明显的事实的证明=后代数系统和后代数:一个明显的事实的证明
机译:遗传编程...公式...证明搜索...公式...自动改进
机译:一个相对简短的证明它的spDEs的公式和它的公式 应用
机译:任意公式的任意公式的系统发展 - 任意阶数,对于一个可扩展的数据的数值微分和积分
机译:该模型由一个管道系统组成,并使用连通容器的公式允许液体从一个容器转移到另一个容器。事实证明,它在转移易燃液体或困难条件下特别有用
机译:包括可卷绕元件的装置可在两个极限位置之间移动,对于该极限位置中的至少一个,行程的一端引起电动机的停止,百叶窗的应用
机译:车门的死锁装置,其中一个支柱与另一个支柱配合,前一个支柱的旋转由钥匙控制,将钥匙和螺栓从一个极限位置移动到另一个极限位置,并引起使螺栓固定的峡谷运动
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。