返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
科学出版社
共有
1
条记录
页码：
1
/
1
每页显示：
10
记录
跳转：
出版社:"湖南科学技术出版社"
作者:"(美)马丁·戴维斯(Martin Davis), 张卜天"
出版年:"2005"
文献类型:
逻辑的引擎
:(美)马丁·戴维斯(Martin Davis), 张卜天
作者：
(美)马丁·戴维斯(Martin Davis), 张卜天
出版社：
湖南科学技术出版社
出版时间：
2005
ISBN：
7-5357-4239-4
索书号：
K816.1/4324
分类号：
K816.1
页数：
293页
价格：
20.00
复本数：
在馆数：
累借天数：
累借次数：
本书讲述的是我们现代计算机背后的那些基本概念和发展出这些概念的人，他们是：莱布尼茨、布尔、弗雷格等；讲述这些人的生活故事，并解释他们的部分思想。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
1
)
出版社
湖南科学技术出版社
(
1
)
只显示前10条......
湖南科学技术出版社
(
1
)
查看更多信息......
作者
(美)马丁·戴维斯(Martin Davis), 张卜天
(
1
)
只显示前10条......
(美)马丁·戴维斯(Martin Davis), 张卜天
(
1
)
查看更多信息......
出版年
2005
(
1
)
只显示前10条......
2005
(
1
)
查看更多信息......
科学出版社
共有
1
条记录
页码：
1
/
1
每页显示：
10
记录
跳转：