中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

方程求解与机器证明:基于MMP的问题求解/高小山 ... [等] 著

出版发行项:

北京:科学出版社,2006

ISBN及定价:

7-03-017862-9 精装/CNY55.00

载体形态项:

279页:图;25cm

其它题名:

基于MMP的问题求解

丛编项:

数学机械化丛书;7

个人责任者:

高小山 著

个人责任者:

王定康 著

个人责任者:

裘宗燕 著

学科主题:

方程-求解-数学软件-MMP

中图法分类号:

O122.2

题名责任附注:

题名页题: 高小山, 王定康, 裘宗燕, 杨宏著.

书目附注:

有书目 (第254-258页) 和索引

豆瓣简介：