退出
我的积分:
中文文献批量获取
外文文献批量获取
顾晓伟;
苏州健雄职业技术学院现代港口与物流管理系;
江苏太仓215411;
微积分; 常数变易法; 辅助函数;
机译:通过lambda微积分居住在简单类型的lambda微积分中以进行证明搜索
机译:分数微积分在抽象空间及其在分数Dirichlet类型问题中的应用
机译:科里奥利效应物理性质问题中的欧拉方法和直接张量微积分
机译:BBI标记的序列微积分:证明理论和证明搜索
机译:在三个组合问题中的自动发现和证明。
机译:Troika-1:一种双盲随机并行组旨在证明HD201的等同药代动力学谱潜在的生物仿制物候选者对曲妥珠单抗与Eu-Herceptin®和Us-herceptin®在健康的男性主题中
机译:二维不稳定自由边界问题中的奇异性(变异微积分和相关主题中的问题)
机译:pVs定理证明中积分微积分的形式化
机译:微积分微积分微积分微积分脸颊
机译:用于测量微积分尺寸的微积分和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。