检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
精品图书
信息公告
全馆图书催还通知
所有标签
图书专题
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=%E5%AE%9A%E7%90%86%E8%AF%81%E6%98%8E&searchType=standard&isFacet=true&view=standard&searchWay=subject&rows=10&sortWay=score&sortOrder=desc&scWay=dim&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
定理证明
, 检索到: 2 条结果, 检索时间: 0.066 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
定理证明
CADAL电子资源
集群图书馆
分类导航
O 数理科学与化学
(2)
您是不是想检索:
定理-证明
人的证明
宁证明
寻找证明
数学证明
无字证明
机器证明
权益证明
图书馆
黑龙江省图书馆
(2)
显示更多..
馆藏地点
保存本书库
(2)
显示更多..
文献类型
图书
(2)
显示更多..
主题
几何-定理证明:机器证明
(1)
定理证明-微积分
(1)
定理证明:机器证明-几何
(1)
微积分-定理证明
(1)
机器证明:定理证明-几何
(1)
显示更多..
著者
(日)屉部贞市郎编
(1)
吴文俊
(1)
吴文俊著
(1)
孙涤寰
(1)
孙涤寰译
(1)
屉部贞市郎
(1)
显示更多..
出版日期
1983
(1)
1984
(1)
显示更多..
语言种类
汉语
(2)
显示更多..
保存至书单:
创建新书单
共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
封面仅供参考
几何定理机器证明的基本原理：初等几何部分
订购中
(含光盘)
著者:
吴文俊著
出版社:
科学出版社
出版日期: 1984
文献类型:
图书 , 索书号:
O18
在馆信息
图书目录
2.
封面仅供参考
微积分定理公式证明辞典
订购中
(含光盘)
著者:
(日)屉部贞市郎编
出版社:
吉林人民出版社
出版日期: 1983
文献类型:
图书 , 索书号:
O17-61/00
在馆信息
图书目录
共 1 页
首页
<上一页
1
下一页>
尾页>>
