书籍简介:

书籍简介整理中

书籍规格:

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

全网搜索试读资源

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