方程求解与机器证明——基于MMP的问题求解 9787030178626

配送至
$ $ USD 美元

商品编号: 3441131 类别: 图书 科学与自然 数学 初等数学
ISBN9787030178626
出版社科学出版社有限责任公司
作者高小山王定康裘宗燕杨宏
尺寸5