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

作者: 胡思
出版社: 机械工业
副标题: 系统建模与推理
出版年: 2005-4
页数: 427
定价: 49.00元
ISBN: 9787111160533
5星
50.0%
4星
16.7%
3星
33.3%
2星
0.0%
1星
0.0%

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

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

在哪儿借这本书?

> 图书馆合作 找不到你需要的图书馆?

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

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

谁读这本书?

DQ
DQ
9月19日 想读


Alvinsjq
Alvinsjq
9月12日 想读

tags:推理 数理逻辑

Misen
Misen
7月26日 读过

tags:数理逻辑

> 8人在读

> 15人读过

> 77人想读

二手市场

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