检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
精品图书
信息公告
全馆预约到馆通知
全馆图书催还通知
全馆预借到馆通知
所有标签
图书专题
图书荐购
历史荐购
读者荐购
征订书目
个人首页
语言:
English
中文
韩文
日文
登录
语言:
中文
English
韩文
日文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=Logics+of+programs&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
Logics of programs
, 检索到: 17 条结果, 检索时间: 0.028 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
|
隐藏趋势图
Logics of programs
CADAL电子资源
集群图书馆
分类导航
T 工业技术
(6)
H 语言、文字
(2)
Q 生物科学
(2)
F 经济
(1)
O 数理科学与化学
(1)
图书馆
湖南大学图书馆
(17)
显示更多..
馆藏地点
显示更多..
主题
business
(1)
computational complexity
(1)
computer programming
(1)
data processing
(1)
first-order logic
(1)
logic, symbolic and mathematical
(1)
programming (mathematics)
(1)
programming languages (electronic computers)
(1)
semantics
(1)
structured programming
(1)
可编程序控制器
(1)
高等学校
(1)
显示更多..
著者
kakas,antonis c
(2)
sadri,fariba
(2)
barwise, jon
(1)
centro internazionale matematico estivo
(1)
conery,john s
(1)
e.clarke
(1)
edmund,clarke
(1)
etchemendy, john,
(1)
furukawa,koichi
(1)
hehner,eric c.r
(1)
homer, s
(1)
huet,gerard
(1)
international symposium on domain theory
(1)
lioyd,j.w
(1)
lloyd,j.w
(1)
lloyd,john wylie
(1)
odifreddi, piergiorgio,
(1)
saret, laura
(1)
tucker, allen b
(1)
zhang, guo-qiang,
(1)
显示更多..
出版日期
2014
(1)
显示更多..
文献类型
图书
(17)
显示更多..
语言种类
汉语
(1)
显示更多..
保存至书单:
创建新书单
共 2 页
首页
<上一页
1
2
下一页>
尾页>>
1.
Logics of programs
订购中
(含光盘)
著者:
Edmund
Clarke
出版社:
Springer-Verlag
出版日期: 1984
文献类型:
图书 , 索书号:
73.87221/EC/164
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
Programming logic for business /
订购中
(含光盘)
著者:
Laura Saret.
出版社:
McGraw-Hill,
出版日期: 2001.
文献类型:
图书 , 索书号:
29.403/SL(4)
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
Logical foundations of functional programming
订购中
(含光盘)
著者:
Huet
Gerard
出版社:
Addison-wesley Publishing co.,
出版日期: 1990
文献类型:
图书 , 索书号:
73.8721/HG
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
Parallel execution of logic programs
订购中
(含光盘)
著者:
Conery
John S.
出版社:
Kluwer Academic Publishers
出版日期: 1987
文献类型:
图书 , 索书号:
73.8702/CJS
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
Foundations of logic programming
订购中
(含光盘)
著者:
Lioyd
J.W.
出版社:
Springer-Verlag
出版日期: 1987
文献类型:
图书 , 索书号:
73.8702/LJW
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
Foundations of logic programming
订购中
(含光盘)
著者:
Lloyd
John Wylie
出版社:
Springer-Verlag
出版日期: 1984
文献类型:
图书 , 索书号:
73.87221/FLP
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
The logic of programming
订购中
(含光盘)
著者:
Hehner
Eric C.R.
出版社:
Prentice-Hall International,Inc.,
出版日期: 1984
文献类型:
图书 , 索书号:
73.87221/HEC
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
8.
Foundations of logic programming
订购中
(含光盘)
著者:
(美国)Lloyd
J.W.著
出版社:
Springer-Verlag GmbH and Co. K
出版日期: 1984
文献类型:
图书 , 索书号:
TP31/LJW
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
9.
Logic programming: proceedings of the eighth internation conference
订购中
(含光盘)
著者:
Furukawa
Koichi
出版社:
The MIT Press
出版日期: 1991
文献类型:
图书 , 索书号:
73.87221/FK
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
10.
Logics of programs (workshop:1983:Pittsburgh)
订购中
(含光盘)
著者:
(美国)E.Clarke编著
出版社:
Springer-Verlag GmbH and Co. K
出版日期: 1984
文献类型:
图书 , 索书号:
TP31-53/LP
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 2 页
首页
<上一页
1
2
下一页>
尾页>>