方程求解与机器证明
暂无封面,等待上传

方程求解与机器证明

高小山等, 著

出版社:科学出版社

年代:2006

定价:48.0

书籍简介:

书籍简介整理中

书籍规格:

书籍详细信息
书名方程求解与机器证明站内查询相似图书
丛书名数学机械化丛书
9787030178626
如需购买下载《方程求解与机器证明》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位科学出版社
版次1版印次1
定价(元)48.0语种简体中文
尺寸21装帧平装
页数 294 印数

书籍信息归属:

方程求解与机器证明是科学出版社于2006.09出版的中图分类号为 O122.2 的主题关于 方程解 的书籍。