检索
高级检索
书目浏览
中图分类浏览
我的图书馆
新书通报
中图分类查看
精品图书
借阅分析
图书借阅排行榜
热门图书排行榜
读者借阅排行榜
图书专题
语言:
English
中文
韩文
日文
登录
语言:
中文
English
韩文
日文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=Bl%C3%A4sius&searchType=standard&isFacet=true&view=standard&searchWay=author&rows=10&sortWay=score&sortOrder=desc&f_subject=artificial+intelligence&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
Bläsius
, 检索到: 2 条结果, 检索时间: 0.132 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
Bläsius
CADAL电子资源
集群图书馆
分类导航
T 工业技术
(2)
已经限定的分面
馆藏地点:
主题:
artificial intelligence
x
图书馆
显示更多..
馆藏地点
显示更多..
主题
[artificial intelligence]
(2)
abstract data types (computer science)
(1)
automatic theorem proving
(1)
congresses
(1)
logic, symbolic and mathematical
(1)
sorting (electronic computers)
(1)
显示更多..
著者
bläsius, k. h
(2)
bürckert, h.-j
(1)
editors karl hans bläsius, hans-jürgen bürckert
(1)
hedtstück, u
(1)
k.h. bläsius, u. hedtstück, c.-r. rollinger (eds.)
(1)
rollinger, claus-rainer
(1)
显示更多..
出版日期
显示更多..
文献类型
图书
(2)
显示更多..
语言种类
显示更多..
新到时间
过去7天
(0)
过去30天
(0)
过去60天
(0)
过去90天
(0)
过去180天
(0)
超过180天
(0)
显示更多..
可借
不可借
(2)
显示更多..
保存至书单:
创建新书单
共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
Deduction systems in artificial intelligence /
订购中
著者:
Bläsius
K. H.
Bürckert
H.-J.
出版社:
Ellis Horwood ;
出版日期: 1989.
文献类型:
图书 , 索书号:
在馆信息
电子资源
随书附盘
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings /
订购中
著者:
Bläsius
K. H.
Hedtstück
U.
Rollinger
Claus-Rainer.
出版社:
Springer-Verlag,
出版日期: c1990.
文献类型:
图书 , 索书号:
在馆信息
电子资源
随书附盘
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 1 页
首页
<上一页
1
下一页>
尾页>>