书籍 方程求解与机器证明 基于MMP的问题求解的封面

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

高小山(等)著

出版社

北京:科学出版社

出版时间

2006

ISBN

7030178629

标注页数

279 页

PDF页数

296 页

书籍介绍
在线购买PDF电子书