检索
高级检索
书目浏览
中图分类浏览
我的图书馆
新书通报
中图分类查看
精品图书
信息公告
全馆图书催还通知
所有标签
图书专题
语言:
English
中文
登录
语言:
中文
English
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=%E5%AE%B6&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&f_class1=t&f_class2=tp&f_class3=o14&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
家
, 检索到: 4 条结果, 检索时间: 0.135 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
|
隐藏趋势图
家
CADAL电子资源
集群图书馆
分类导航
O141 数理逻辑(符号逻辑)
(2)
o149
(2)
TP30 一般性问题
(2)
TP31 计算机软件
(2)
回到上一级分类
图书馆
辽宁省图书馆
(4)
显示更多..
馆藏地点
显示更多..
主题
数学
(2)
程序设计
(2)
青少年读物
(2)
教材
(1)
数理逻辑
(1)
文集
(1)
模型论
(1)
理论
(1)
计算复杂性
(1)
计算技术
(1)
高等教育
(1)
显示更多..
著者
杨克昌
(2)
杨克昌著
(2)
宋丽华
(1)
张兴元
(1)
张兴元, 王元元, 宋丽华编著
(1)
李仲来
(1)
李仲来主编
(1)
王元元
(1)
罗里波
(1)
显示更多..
出版日期
2011
(1)
2013
(1)
2019
(1)
2021
(1)
显示更多..
文献类型
图书
(4)
显示更多..
语言种类
汉语
(4)
显示更多..
保存至书单:
创建新书单
共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
趣味数学及编程拓展
已借2次.
订购中
著者:
杨克昌
出版社:
清华大学出版社
出版日期: 2021
文献类型:
图书 , 索书号:
O1-49/763=2
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
趣味数学及编程拓展
已借1次.
订购中
著者:
杨克昌
出版社:
清华大学出版社
出版日期: 2019
文献类型:
图书 , 索书号:
O1-49/763
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
模型论与计算复杂度:罗里波文集
订购中
著者:
罗里波
出版社:
北京师范大学出版社
出版日期: 2013
文献类型:
图书 , 索书号:
O141.4-53/5
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
计算理论与符号逻辑
订购中
著者:
张兴元
王元元
宋丽华
出版社:
科学出版社
出版日期: 2011
文献类型:
图书 , 索书号:
TP301/52
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 1 页
首页
<上一页
1
下一页>
尾页>>