检索
高级检索
书目浏览
中图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
图书荐购
历史荐购
读者荐购
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=%E5%8C%97%E4%BA%AC%E7%90%86%E5%B7%A5%E5%A4%A7%E5%AD%A6&searchType=standard&isFacet=true&view=standard&searchWay=publisher&rows=10&sortWay=score&sortOrder=desc&f_author=%28%E5%BE%B7%29+%E6%89%98%E6%AF%94%E4%BA%9A%E6%96%AF%EF%BC%9F%E5%B0%BC%E6%99%AE%E7%A7%91%E5%A4%AB%2C+%28%E8%8B%B1%29+%E5%8A%B3%E4%BC%A6%E6%96%AF%EF%BC%9F%E9%B2%8D%E5%B0%94%E6%A3%AE%2C+%28%E5%BE%B7%29+%E7%8E%9B%E5%B0%94%E5%BA%93%E6%96%AF%EF%BC%9F%E6%B8%A9%E6%B3%BD%E5%B0%94%E8%91%97&f_author=%E9%99%88%E5%85%89%E5%96%9C%2C+%E5%88%98%E5%8D%93%E5%86%9B%E8%AF%91&f_pubdate=2013&f_class1=t&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
北京理工大学
, 检索到: 1 条结果, 检索时间: 0.024 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
|
隐藏趋势图
北京理工大学
CADAL电子资源
集群图书馆
分类导航
TP 自动化技术、计算机技术
(1)
回到上一级分类
已经限定的分面
馆藏地点:
著者:
(德) 托比亚斯?尼普科夫, (英) 劳伦斯?鲍尔森, (德) 玛尔库斯?温泽尔著
x
陈光喜, 刘卓军译
x
出版日期:
2013
x
图书馆
长沙理工大学图书馆
(1)
显示更多..
馆藏地点
A馆自科书库(二楼)
(1)
云塘馆自科三库(二楼东)
(1)
云塘馆样本书阅览室(七楼)(不外借)
(1)
显示更多..
主题
计算机辅助计算
(1)
显示更多..
著者
[(德) 托比亚斯?尼普科夫, (英) 劳伦斯?鲍尔森, (德) 玛尔库斯?温泽尔著]
(1)
尼普科夫
(1)
陈光喜
(1)
[陈光喜, 刘卓军译]
(1)
显示更多..
出版日期
[2013]
(1)
显示更多..
文献类型
图书
(1)
显示更多..
语言种类
汉语
(1)
显示更多..
在馆
在馆
(1)
显示更多..
保存至书单:
创建新书单
共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
高阶逻辑辅助证明系统
订购中
著者:
尼普科夫
出版社:
北京理工大学出版社
出版日期: 2013
文献类型:
图书 , 索书号:
TP391.75/N564
在馆信息
电子资源
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 1 页
首页
<上一页
1
下一页>
尾页>>