面向计算机科学的数理逻辑系统建模与推理

作者: 哈斯
出版社: 机械工业
出版年: 2007-7
页数: 277
定价: 39.00元
丛书: 计算机科学丛书
ISBN: 9787111213970
5星
12.0%
4星
40.0%
3星
36.0%
2星
4.0%
1星
8.0%

当前版本有售  · · · · · ·

购买二手书  · · · · · ·

以下书单推荐  · · · · · ·  ( 全部 )

谁读这本书?

汤米非米
汤米非米
11月14日 想读


灼灼其华
灼灼其华
10月29日 读过

tags:数学 计算机 逻辑学 逻辑 ...

阿比奇
阿比奇
9月6日 在读

tags:推理 逻辑学

陈超
陈超
5月24日 想读


> 15人在读

> 30人读过

> 145人想读

二手市场

订阅关于面向计算机科学的数理逻辑系统建模与推理的评论:
feed: rss 2.0