Mechanizing Mathematical Reasoning 机械化数学推理 短评

热门 最新

  • 还没人写过短评呢

<< 首页 < 前页 后页 >

> Mechanizing Mathematical Reasoning 机械化数学推理

Mechanizing Mathematical Reasoning 机械化数学推理
作者: Hutter, Dieter; Stephan, Werner;
isbn: 3540250514
书名: Mechanizing Mathematical Reasoning 机械化数学推理
页数: 563
定价: 734.50元
出版年: 2005-4