检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
精品图书
所有标签
图书专题
图书荐购
历史荐购
读者荐购
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=Computational+Logic&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
Computational Logic
, 检索到: 26 条结果, 检索时间: 0.026 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
Computational Logic
CADAL电子资源
集群图书馆
分类导航
T 工业技术
(4)
O 数理科学与化学
(2)
图书馆
湘图
(26)
显示更多..
馆藏地点
储备书库1
(12)
保存本阅览室
(7)
外文借阅室
(3)
中文参考图书借阅室
(2)
藏书于民书库
(1)
中建五局藏书点
(1)
综合借阅处
(1)
少年儿童分馆
(1)
显示更多..
主题
电子计算机
(3)
逻辑设计
(2)
可计算性
(1)
数学
(1)
数理逻辑
(1)
知识表达
(1)
程序设计
(1)
高等教育
(1)
显示更多..
著者
20000830d1998 km y0engy0120 ba
(3)
20000831d1998 km y0engy0120 ba
(2)
20011127d1958 km y0engy0120 ba
(2)
(加)格雷汉姆·罗斯绘
(1)
(美)george s.boolos等著
(1)
(美)john f.sowa著
(1)
(美)m.莫里斯·马诺(m. morris mano),(美)查尔斯·r.凯姆(charles r.kime),(美)汤姆·马丁(tom martin)著
(1)
(美)厄科·伊利斯·冈萨雷斯著
(1)
(美)雷克斯·佩奇(rex page),(美)鲁本·冈博亚(ruben gamboa)著
(1)
(美)马克·c. 查-卡罗尔(mark c. chu-carroll)著
(1)
20000617d1979 km y0engy0120 ba
(1)
20000812d1986 km y0engy0120 ba
(1)
20000814d1986 km y0engy0120 ba
(1)
20000818d1990 km y0engy0120 ba
(1)
20000906d1998 km y0engy0120 ba
(1)
20000913d1998 km y0engy0120 ba
(1)
20000930d1998 km y0engy0120 ba
(1)
20001013d1998 km y0engy0120 ba
(1)
20001016d1998 km y0engy0120 ba
(1)
20001203d1998 km y0engy0120 ba
(1)
显示更多..
出版日期
2003
(2)
2021
(2)
2017
(1)
2018
(1)
显示更多..
文献类型
图书
(26)
显示更多..
语言种类
英语
(22)
汉语
(4)
显示更多..
在馆
在馆
(26)
显示更多..
保存至书单:
创建新书单
共 3 页
首页
<上一页
1
2
3
下一页>
尾页>>
1.
Logic and Computation
订购中
著者:
Wilfried Sieg
出版社:
American Mathematical Society
出版日期: 1990
文献类型:
图书 , 索书号:
O14-532/W919
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
Computational Logic
订购中
著者:
J.W.Lloyd.
出版社:
Springer Verlag
出版日期: 1990
文献类型:
图书 , 索书号:
TP301/C736
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
Computer logic,testing and verification
订购中
著者:
Roth
出版社:
Computer Science Pr.
出版日期: 1980
文献类型:
图书 , 索书号:
TP302/R845
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
Digital logic and computer design
订购中
著者:
Mano
出版社:
Prentice-Hall
出版日期: 1979
文献类型:
图书 , 索书号:
TP34/M285
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
Logical Design of Digital Computers
订购中
著者:
Phister
出版社:
J.W.&.S.
出版日期: 1958
文献类型:
图书 , 索书号:
4123533
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
Logical Design of Digital Computers
订购中
著者:
Phister
出版社:
J.W.&.S.
出版日期: 1958
文献类型:
图书 , 索书号:
4123553
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
Logical design of digital computers
订购中
著者:
Phister
出版社:
出版日期: 1958
文献类型:
图书 , 索书号:
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
8.
Logical Design of Digital Computers
订购中
著者:
phister
出版社:
W.& S.
出版日期: 1958
文献类型:
图书 , 索书号:
4088745
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
9.
Logical design of digital computers
订购中
著者:
Phister
出版社:
出版日期:
文献类型:
图书 , 索书号:
51.84/P573
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
10.
Fundamentals of Computer Engineering
订购中
著者:
Lam
O'Malley
出版社:
John Wiley & Sons,Inc.
出版日期: 1988
文献类型:
图书 , 索书号:
TP3/L213
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 3 页
首页
<上一页
1
2
3
下一页>
尾页>>