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

配送至
$ $ USD

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