检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
精品图书
所有标签
图书专题
图书荐购
历史荐购
读者荐购
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=Computational+Logic&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&curlibcode=XT&searchWay0=marc&logical0=AND
rows=10&curlibcode=XT&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
Computational Logic
, 检索到: 25 条结果, 检索时间: 0.025 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
Computational Logic
CADAL电子资源
集群图书馆
分类导航
O 数理科学与化学
(3)
T 工业技术
(3)
已经限定的分面
图书馆:
湘图
x
馆藏地点:
文献类型
图书
(25)
显示更多..
主题
电子计算机
(2)
逻辑设计
(2)
分子
(1)
可计算性
(1)
数学
(1)
数理逻辑
(1)
知识表达
(1)
计算
(1)
逻辑
(1)
高等教育
(1)
显示更多..
著者
20000830d1998 km y0engy0120 ba
(3)
20011127d1958 km y0engy0120 ba
(2)
(美)george s.boolos等著
(1)
(美)john f.sowa著
(1)
(美)m.莫里斯·马诺(m. morris mano),(美)查尔斯·r.凯姆(charles r.kime),(美)汤姆·马丁(tom martin)著
(1)
(美)雷克斯·佩奇(rex page),(美)鲁本·冈博亚(ruben gamboa)著
(1)
(美)马克·c. 查-卡罗尔(mark c. chu-carroll)著
(1)
(英)a. prasanna de silva著
(1)
20000617d1979 km y0engy0120 ba
(1)
20000812d1986 km y0engy0120 ba
(1)
20000814d1986 km y0engy0120 ba
(1)
20000818d1990 km y0engy0120 ba
(1)
20000831d1998 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)
20010111d1998 km y0engy0120 ba
(1)
显示更多..
出版日期
2003
(2)
2014
(1)
2017
(1)
2018
(1)
2021
(1)
显示更多..
馆藏地点
储备书库1
(11)
保存本阅览室
(7)
外文借阅室
(3)
中文参考图书借阅室
(2)
综合借阅处
(2)
中建五局藏书点
(1)
显示更多..
图书馆
工信书吧
省发改委
湖南图书馆
[湘图]
省税务局
省军区分馆
显示更多..
语言种类
英语
(21)
汉语
(4)
显示更多..
在馆
在馆
(25)
显示更多..
保存至书单:
创建新书单
共 3 页
首页
<上一页
1
2
3
下一页>
尾页>>
1.
封面仅供参考
Computational Logic
订购中
著者:
J.W.Lloyd.
出版社:
Springer Verlag
出版日期: 1990
文献类型:
图书 , 索书号:
TP301/C736
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
封面仅供参考
Computer logic,testing and verification
订购中
著者:
Roth
出版社:
Computer Science Pr.
出版日期: 1980
文献类型:
图书 , 索书号:
TP302/R845
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
封面仅供参考
Logic and Computation
订购中
著者:
Wilfried Sieg
出版社:
American Mathematical Society
出版日期: 1990
文献类型:
图书 , 索书号:
O14-532/W919
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
封面仅供参考
Logic and computer science
订购中
著者:
S.Homer
Session of the Centro Internazionale Matematico Estivo(1st:1988:Montecatini Terma
Italy)
出版社:
Springer-Verlag
出版日期: 1990
文献类型:
图书 , 索书号:
TP301.2-532/S493
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
封面仅供参考
Logic for Computer Science
已借3次.
订购中
著者:
Gallier
出版社:
Harper & Row,Pub.
出版日期: 1986.
文献类型:
图书 , 索书号:
O14/G168
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
封面仅供参考
Digital logic and computer design
订购中
著者:
Mano
出版社:
Prentice-Hall
出版日期: 1979
文献类型:
图书 , 索书号:
TP34/M285
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
封面仅供参考
The logic of computer arithmetic
订购中
著者:
Flores
出版社:
Prentice-Hall
出版日期: 1963
文献类型:
图书 , 索书号:
15.1087/F634
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
8.
封面仅供参考
Logic,computing machines,and automation
订购中
著者:
Hilton
出版社:
Spartan
出版日期: 1963
文献类型:
图书 , 索书号:
13.111/H656
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
9.
封面仅供参考
Logical design of digital computers
订购中
著者:
Phister
出版社:
出版日期: 1958
文献类型:
图书 , 索书号:
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
10.
封面仅供参考
Logical Design of Digital Computers
订购中
著者:
phister
出版社:
W.& S.
出版日期: 1958
文献类型:
图书 , 索书号:
4088745
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 3 页
首页
<上一页
1
2
3
下一页>
尾页>>