检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
信息公告
全馆预约到馆通知
全馆图书催还通知
全馆预借到馆通知
所有标签
语言:
English
中文
日文
登录
语言:
中文
English
日文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=Coq&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
Coq
, 检索到: 7 条结果, 检索时间: 0.022 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
Coq
CADAL电子资源
集群图书馆
分类导航
I 文学
(3)
O 数理科学与化学
(2)
J 艺术
(1)
N 自然科学总论
(1)
图书馆
安徽省馆
(7)
显示更多..
馆藏地点
典阅室
(5)
低幼阅览室
(1)
文学室
(1)
典借室
(1)
少儿室
(1)
显示更多..
主题
现代
(3)
法国
(2)
儿童故事
(1)
剧本-戏剧
(1)
图画故事
(1)
定理证明
(1)
小说集
(1)
德国
(1)
戏剧-剧本
(1)
探险
(1)
教材
(1)
新疆维吾尔自治区
(1)
机器证明
(1)
漫画
(1)
短篇小说
(1)
苏联
(1)
软件工具
(1)
近代
(1)
连环画
(1)
集论公理系统
(1)
显示更多..
著者
(俄)皮尔斯奇改编
(1)
(德)杰拉尔丁·埃尔施纳著
(1)
(德)阿尔伯特·冯·勒·寇克(albert von le coq)著
(1)
(法)埃曼努埃尔·吉贝尔著
(1)
(法)米歇尔·图尼埃著
(1)
(法)雷米·萨亚尔绘
(1)
(法)马克·布塔方绘
(1)
a.v.l
(1)
albert von le
(1)
coq
(1)
yves bertot,pierre casteran著
(1)
付尧顺
(1)
伯托特
(1)
刘建台
(1)
刘建台译
(1)
卡斯特兰
(1)
吉贝尔
(1)
图尼埃
(1)
埃尔施纳
(1)
孙天宇
(1)
显示更多..
出版日期
2024
(1)
2023
(2)
2020
(1)
2010
(1)
2002
(1)
1950
(1)
显示更多..
文献类型
图书
(7)
显示更多..
语言种类
汉语
(7)
显示更多..
保存至书单:
创建新书单
共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
大松鸡
已借4次.
订购中
著者:
图尼埃
出版社:
河南文艺出版社
出版日期: 2023
文献类型:
图书 , 索书号:
I565.45/1146/2023
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
交互式定理证明与程序开发:Coq归纳构造演算的艺术
订购中
著者:
伯托特
卡斯特兰
出版社:
清华大学出版社
出版日期: 2010
文献类型:
图书 , 索书号:
O141-39/01/2010
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
巴黎圣母院的小公鸡:巴黎圣母院
订购中
著者:
埃尔施纳
出版社:
中信出版集团股份有限公司
出版日期: 2023
文献类型:
图书 , 索书号:
I516.85/0524/2023
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
金鸡
订购中
著者:
皮尔斯奇
出版社:
上海商务印书馆
出版日期: 1950
文献类型:
图书 , 索书号:
1022/31
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
公理化集合论机器证明系统
订购中
著者:
郁文生
孙天宇
付尧顺
出版社:
科学出版社
出版日期: 2020
文献类型:
图书 , 索书号:
O144/041/2020
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
新疆地埋宝藏记
订购中
著者:
A.v.L. 寇克
Albert von Le Coq
出版社:
中国青年出版社
出版日期: 2002
文献类型:
图书 , 索书号:
N82/017
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
淘气包阿洛.06,新球鞋踩到便便了
订购中
著者:
吉贝尔
出版社:
中信出版集团股份有限公司
出版日期: 2024
文献类型:
图书 , 索书号:
J238.2/1998(6)/2024
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 1 页
首页
<上一页
1
下一页>
尾页>>