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

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

这本书的其他版本  · · · · · ·  ( 全部3 )

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

谁读这本书?

SkyWalker
SkyWalker
5月16日 想读


邱晨曦
邱晨曦
4月10日 读过


昳晔
昳晔
4月6日 读过

tags:计算机 数学 逻辑学

唐超旬
唐超旬
3月27日 想读


> 11人在读

> 26人读过

> 123人想读

二手市场

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