登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

十三球问题的计算机辅助新证明
出版年：1992
作者：刘田
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

非线性系统中的分歧问题与计算机辅助论证
  • 作者：吕贵臣
  • 出版年：2012
...

计算机辅助系统
  • 作者：许耀昌
  • ISBN：7302009708
  • 出版社：广西科学技术出版社
  • 出版年：1992
...

计算机辅助系统
  • 作者：柳西玲
  • ISBN：7302012423
  • 出版社：清华大学出版社
  • 出版年：1993
...

计算机辅助系统 :
  • 作者：许耀昌主编
  • ISBN：7504605433
  • 出版社：中国科学技术出版社
  • 出版年：1992
...

计算机辅助审计
  • 作者：刘杰
  • ISBN：9787030535559
  • 出版社：科学出版社
  • 出版年：2018
...

最优设计的计算机证明与构造
  • 作者：朱伟勇
  • ISBN：7810060031
  • 出版社：东北工学院出版社
  • 出版年：1987