题名:
方程求解与机器证明
/ 高小山等著 ,
ISBN:
7-03-017862-9 价格： CNY55.00
语种:
chi
载体形态:
279页 图 25cm
出版发行:
出版地： 北京 出版社：
科学出版社
出版日期： 2006
主题词:
方程
求解
中图分类法:
O122.2 版次： 4
其它题名:
基于MMP的问题求解
主要责任者:
高小山
著