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

作者：高小山 等著
出版：科学出版社 2008.6
丛书：数学机械化丛书
页数：279
定价：55.00 元
ISBN-13：9787030178626
ISBN-10：7030178629 去豆瓣看看