非线性系统中的分歧问题与计算机辅助论证

非线性系统中的分歧问题与计算机辅助论证

出版年：2012

作者：吕贵臣

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

计算机辅助系统

作者：许耀昌
ISBN：7302009708
出版社：广西科学技术出版社
出版年：1992

计算机辅助系统

作者：柳西玲
ISBN：7302012423
出版社：清华大学出版社
出版年：1993

计算机辅助系统 :

作者：许耀昌主编
ISBN：7504605433
出版社：中国科学技术出版社
出版年：1992

十三球问题的计算机辅助新证明

作者：刘田
出版年：1992

计算机辅助管理系统

作者：屠仁寿
ISBN：7312004733
出版社：中国科学技术大学出版社
出版年：1993

非线性分歧 :理论和计算

作者：杨中华
ISBN：9787030178206
出版社：科学出版社
出版年：2007