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

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

其他版本有售  · · · · · ·

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

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

谁读这本书?

追忆似风
追忆似风
7月21日 想读

tags:计算机 数学

带着回忆飞
带着回忆飞
7月9日 想读


Gary
Gary
4月25日 在读


amulet
amulet
4月7日 想读

tags:逻辑

> 12人在读

> 22人读过

> 94人想读

二手市场

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