Mechanizing Mathematical Reasoning 机械化数学推理

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

短评  · · · · · ·

热门 / 最新 /

  • 还没人写过短评呢

  • 还没人写过短评呢

我要写书评

Mechanizing Mathematical Reasoning 机械化数学推理的书评 · · · · · · ( 全部 0 条 )

论坛  · · · · · ·

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

谁读这本书?  · · · · · ·

paracelsus
paracelsus
2014年9月8日 想读


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


脑肠轴沙拉碗
脑肠轴沙拉碗
2011年10月12日 想读


> 4人想读

二手市场  · · · · · ·

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