Mechanizing Mathematical Reasoning 机械化数学推理

作者: Hutter, Dieter; Stephan, Werner;
出版年: 2005-4
页数: 563
定价: 734.50元
ISBN: 9783540250517
目前无人评价

在哪儿借这本书  · · · · · ·

谁读这本书?

paracelsus
paracelsus
2014年9月8日 想读


阿狄
阿狄
2011年10月12日 想读

tags:数学 机械化

Suboxone
Suboxone
2011年10月12日 想读


> 4人想读

二手市场

订阅关于Mechanizing Mathematical Reasoning 机械化数学推理的评论:
feed: rss 2.0