位置:成果数据库 > 会议 > 会议详情页
Symbolic Solution of a Piano M
  • 所属机构名称:华东师范大学
  • 成果类型:会议
  • 相关项目:组合几何全局最优化问题的机械化解法
作者: 杨路,曾振柄
同会议论文项目
期刊论文 14 会议论文 15 著作 1
同项目会议论文