方程求解与机器证明--基于MMP的问题求解（精）/数学机械化丛书

出版时间 2006-09-01T00:00 其他类别 19458

作者： 高小山//王定康//裘宗燕//杨宏|
出版社： 科学
原售价: 118.00
折扣价: 89.68
折扣购买: 方程求解与机器证明--基于MMP的问题求解（精）/数学机械化丛书
ISBN： 9787030178626

作者简介