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

作者: 哈斯
出版社: 机械工业
出版年: 2007-7
页数: 277
定价: 39.00元
ISBN: 9787111213970
5星
5.6%
4星
44.4%
3星
44.4%
2星
5.6%
1星
0.0%

在豆瓣App讨论这本书 · · · · · ·

扫码下载豆瓣App
用豆瓣App扫码,找人聊聊这本书。
没有豆瓣App? 去下载

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

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

谁读这本书?

52Heartz
52Heartz
12月1日 想读


sproblvem
sproblvem
11月29日 想读


www
www
11月29日 想读


1000_0_1_ye
1000_0_1_ye
11月14日 想读

tags:数理逻辑 计算机科学

> 11人在读

> 22人读过

> 86人想读

二手市场

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