检索
高级检索
书目浏览
中图分类浏览
我的图书馆
新书通报
中图分类查看
精品图书
信息公告
全馆图书催还通知
所有标签
图书专题
语言:
English
中文
登录
语言:
中文
English
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=%E4%BD%95%E5%AE%9A&searchType=standard&isFacet=true&view=standard&searchWay=author&rows=10&sortWay=score&sortOrder=desc&curlibcode=LT&f_lang=chi&f_class1=o&searchWay0=marc&logical0=AND
rows=10&curlibcode=LT&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
何定
, 检索到: 20 条结果, 检索时间: 0.074 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
|
隐藏趋势图
何定
CADAL电子资源
集群图书馆
分类导航
O1 数学
(14)
O4 物理学
(3)
O2 数学
(2)
O6 化学
(1)
回到上一级分类
已经限定的分面
图书馆:
辽宁省图书馆
x
馆藏地点:
语言种类:
汉语
x
图书馆
喀左分馆
兴城分馆
北镇分馆
[辽宁省图书馆]
和平分馆
朝阳分馆
桓仁分馆
开原分馆
抚顺县分馆
鲅鱼圈分馆
大洼分馆
政协分馆
盘锦大洼分馆(暂时不用)
建昌分馆
中心馆
宽甸县分馆
本溪分馆
丹东分馆
显示更多..
馆藏地点
显示更多..
主题
数学
(5)
普及读物
(5)
机器证明
(4)
研究
(4)
几何学
(3)
定理证明
(3)
文集
(3)
几何
(2)
平面几何
(2)
数学理论
(2)
不对称有机合成
(1)
几何-定理证明:机器证明
(1)
几何光学
(1)
初等几何
(1)
化合物
(1)
定理证明:机器证明-几何
(1)
定理证明:机器证明-平面几何
(1)
平面几何-定理证明:机器证明
(1)
应用软件
(1)
手册
(1)
显示更多..
著者
吴文俊
(5)
吴文俊著
(5)
高小山
(4)
高小山编订
(3)
何定梁
(2)
何定梁编著
(2)
孙熙椿
(2)
(日)星田直彦著
(1)
arseniy akopyan著
(1)
judea pearl,madelyn glymour,nicholas p. jewell著
(1)
richard ditteon著
(1)
周咸青
(1)
周洁如
(1)
周洁如译
(1)
姜子麟
(1)
姜子麟译
(1)
孙熙椿编著
(1)
孙熙椿著
(1)
安宁
(1)
张庆友
(1)
显示更多..
出版日期
2019
(4)
1999
(2)
2022
(2)
1978
(1)
1984
(1)
2003
(1)
2004
(1)
2007
(1)
2011
(1)
2013
(1)
2014
(1)
2015
(1)
2016
(1)
2018
(1)
2020
(1)
显示更多..
文献类型
图书
(20)
显示更多..
语言种类
[汉语]
(20)
英语
(1)
显示更多..
保存至书单:
创建新书单
共 2 页
首页
<上一页
1
2
下一页>
尾页>>
1.
生活的物理
订购中
著者:
何定梁
出版社:
上海远东出版社
出版日期: 1999
文献类型:
图书 , 索书号:
O4-49/80
在馆信息
图书目录
内容简介
著者简介
2.
物理:力学
订购中
著者:
何定梁
出版社:
徐氏基金会
出版日期: 1978.7
文献类型:
图书 , 索书号:
O4-44/7
在馆信息
图书目录
内容简介
著者简介
3.
几何定理计算机证明
订购中
著者:
孙熙椿
出版社:
科学出版社
出版日期: 2007
文献类型:
图书 , 索书号:
O18-39/1
在馆信息
图书目录
内容简介
著者简介
4.
平面几何定理的机器证明
订购中
著者:
孙熙椿
出版社:
广西教育出版社
出版日期: 1999
文献类型:
图书 , 索书号:
O123.1-49/2
在馆信息
图书目录
内容简介
著者简介
5.
几何定理机器证明的基本原理:初等几何部分
订购中
著者:
吴文俊
出版社:
科学出版社
出版日期: 1984
文献类型:
图书 , 索书号:
O18/10
在馆信息
图书目录
内容简介
著者简介
6.
吴文俊全集.数学机械化卷.Ⅳ,几何定理机器证明的基本原理
订购中
著者:
吴文俊
出版社:
科学出版社
出版日期: 2019
文献类型:
图书 , 索书号:
O1-53/37:5(4)
在馆信息
图书目录
内容简介
著者简介
7.
论初等几何定理的机器证明与消去法
已借1次.
订购中
著者:
朱望规
出版社:
国防工业出版社
出版日期: 2016
文献类型:
图书 , 索书号:
O123/46
在馆信息
图书目录
内容简介
著者简介
8.
数学问题与猜想拾趣
已借1次.
订购中
著者:
赵宏量
出版社:
西南师范大学出版社
出版日期: 2022
文献类型:
图书 , 索书号:
O1-49/891
在馆信息
图书目录
内容简介
著者简介
9.
真希望几何可以这样学.提高篇
订购中
著者:
星田直彦
出版社:
机械工业出版社
出版日期: 2022
文献类型:
图书 , 索书号:
O18-49/47:2
在馆信息
图书目录
内容简介
著者简介
10.
图说几何
已借8次.
订购中
著者:
阿科皮扬
出版社:
高等教育出版社
出版日期: 2018
文献类型:
图书 , 索书号:
O18/70
在馆信息
图书目录
内容简介
著者简介
共 2 页
首页
<上一页
1
2
下一页>
尾页>>