检索
高级检索
集群检索
我的图书馆
书目浏览
中图分类浏览
期刊导航
西文期刊字母导航
学科导航
期刊学科导航
新书通报
中图分类查看
信息公告
全馆预约到馆通知
全馆图书催还通知
图书荐购
历史荐购
读者荐购
图书馆主页
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=%E7%9F%B3%E7%BA%AF%E4%B8%80&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
石纯一
, 检索到: 20 条结果, 检索时间: 0.093 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
|
隐藏趋势图
石纯一
CADAL电子资源
集群图书馆
分类导航
t
(12)
o
(8)
图书馆
昆明理工大学
(20)
显示更多..
馆藏地点
(呈贡)一层基藏图书一区A-J
(9)
(莲华)三楼书库
(4)
(城市学院)402图书借阅室
(4)
(城市学院)8库
(4)
(城市学院)105工业技术外借处
(3)
(城市学院)202社会自然科学外借处
(3)
呈贡五层中文图书藏阅区
(3)
莲华208
(2)
(城市学院)201旧书库
(2)
呈贡六层中文图书藏阅区
(2)
(莲华)二楼书库
(1)
显示更多..
主题
人工智能
(6)
离散数学
(4)
理论
(3)
数理逻辑
(2)
概论
(2)
电子计算机
(2)
集论
(2)
学术知识
(1)
定性推理
(1)
程序设计
(1)
软件工具
(1)
高等学校
(1)
显示更多..
著者
石纯一
(17)
石纯一等编著
(4)
(美)尼尔逊(n.j.nilsson)著
(3)
n.j
(3)
nilsson
(3)
尼尔森
(3)
库克(cooke,d.j.)
(3)
王家软
(3)
石纯一,王家〓译
(3)
石纯一译
(3)
石纯一,王家软编著
(3)
(英)库 克(cooke,d.j.),(英)贝 兹(bez,h.e.)著
(2)
王家钦
(2)
石纯一等著
(2)
(美) richard johnsonbaugh著
(1)
(美)r.e.卡丽勒(cooke,d.j.),(英)贝 兹(bez,h.e.)著
(1)
a
(1)
廖士中
(1)
张伟
(1)
王家〓
(1)
显示更多..
出版日期
2007
(1)
2003
(1)
2002
(1)
2000
(2)
1997
(1)
1993
(2)
1990
(4)
1989
(1)
1988
(3)
1983
(3)
1979
(1)
显示更多..
文献类型
图书
(20)
显示更多..
语言种类
汉语
(20)
英语
(3)
显示更多..
在馆
在馆
(20)
显示更多..
保存至书单:
创建新书单
共 2 页
首页
<上一页
1
2
下一页>
尾页>>
1.
数理逻辑与集合论
已借2次.
订购中
著者:
石纯一
王家钦
出版社:
清华大学出版社
出版日期: 2000.12
文献类型:
图书 , 索书号:
O14/1=2
在馆信息
图书信息概览
图书目录
2.
数理逻辑与集合论
订购中
著者:
石纯一
王家软
出版社:
清华大学出版社
出版日期: 1990.2
文献类型:
图书 , 索书号:
O14/3
在馆信息
图书信息概览
图书目录
3.
数理逻辑与集合论
订购中
著者:
石纯一
王家软
出版社:
清华大学出版社
出版日期: 1990.2
文献类型:
图书 , 索书号:
51.3/S56
在馆信息
图书信息概览
图书目录
4.
数理逻辑与集合论
订购中
著者:
石纯一
王家软
出版社:
清华大学出版社
出版日期: 1990.2
文献类型:
图书 , 索书号:
51.3/S56
在馆信息
图书信息概览
图书目录
5.
自动控制原理与系统(下)
订购中
著者:
石纯一
出版社:
国防工业出版社
出版日期: 1979
文献类型:
图书 , 索书号:
TP273/8:下
在馆信息
图书信息概览
图书目录
6.
数理逻辑与集合论
订购中
著者:
石纯一
王家钦
出版社:
清华大学出版社
出版日期: 2000.12
文献类型:
图书 , 索书号:
O14/13=2
在馆信息
图书信息概览
图书目录
7.
基于解释的机器学习方法
订购中
著者:
石纯一
出版社:
清华大学出版社
出版日期: 1997.4
文献类型:
图书 , 索书号:
TP18/S540/2
在馆信息
图书信息概览
图书目录
8.
自动定理证明
订购中
著者:
石纯一
出版社:
气象出版社
出版日期: 1989
文献类型:
图书 , 索书号:
73.82/S56
在馆信息
图书信息概览
图书目录
9.
定性推理方法
订购中
著者:
石纯一
廖士中
出版社:
清华大学出版社
出版日期: 2002.9
文献类型:
图书 , 索书号:
TP18/91
在馆信息
图书信息概览
图书目录
10.
人工智能原理
订购中
著者:
N.J. 尼尔森
N.J. Nilsson
出版社:
科学出版社
出版日期: 1983
文献类型:
图书 , 索书号:
TP11/8
在馆信息
图书信息概览
图书目录
共 2 页
首页
<上一页
1
2
下一页>
尾页>>