退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:用户受限的独立主题分析中的约束简化
西垣貴央; 山本健太; 小野田崇;
机译:约束项重写系统定理自动证明中方程定向的简化顺序
机译:约束项重写系统中自动定理证明中方程定向的归约顺序
机译:用于在约束重写系统自动证明中指向方程的排序顺序
机译:用户约束的独立主题分析中的约束简化
机译:使用批处理设备操作的用户界面设计中的“易理解性”研究
机译:使用$ alpha $约束粒子群优化器$ alpha $ PSO进行约束优化(不确定性科学和决策的数学应用)
机译:用于在弹丸织机中控制弹丸制动的装置
机译:腿部旋转控制机构,使用该腿的折叠台以及卡车用箱形装载平台分割台
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。