方程求解与机器证明

作者: 高小山 等著
出版社: 科学出版社
出版年: 2008-6
页数: 279
定价: 55.00元
丛书: 数学机械化丛书
ISBN: 9787030178626
目前无人评价

以下豆列推荐  · · · · · ·  ( 全部 )

谁读这本书?

东东的Easter
东东的Easter
5月2日 想读


TERRY
TERRY
2011年11月30日 想读


> 6人想读

二手市场

订阅关于方程求解与机器证明的评论:
feed: rss 2.0