退出
我的积分:
中文文献批量获取
外文文献批量获取
邬玫;
广西桂林师范高等专科学校教育与管理系;
微积分; 特殊化; 一般化;
机译:PVS定理证明中积分微积分的形式化
机译:关于命题微积分中定理定理证明的知识库
机译:短期压力感受器行为的数学方法
机译:优美的妇女:人种志方面的资料,记载了妇女在“健康快乐圣地”组织中的经历,以及一种新宗教中社会文化张力,组织建设和自居的相互作用。
机译:分数阶微积分的儿童身体发育建模数学方法
机译:在许多公理的分层和模块化结构集上的交互式定理证明(软件科学和工程学中的数学方法)
机译:pVs定理证明中积分微积分的形式化
机译:确定太阳能系统的最佳配置以最大化功率输出并匹配功率需求曲线的数学方法(三角法和积分法)”。
机译:金属成膜装饰徽的车辆外部,金属成膜装饰徽及其制造方法
机译:比例积分微分控制器,实现包含多个与多个感受野相关的尖峰神经元的扩展内核
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。