检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
精品图书
所有标签
图书专题
图书荐购
历史荐购
读者荐购
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
正题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=%E6%9C%BA%E5%99%A8%E8%AF%81%E6%98%8E&searchType=standard&isFacet=true&view=standard&rows=10&sortWay=score&sortOrder=desc&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
机器证明
, 检索到: 15 条结果, 检索时间: 0.039 秒 , 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
隐藏分类导航
机器证明
CADAL电子资源
集群图书馆
分类导航
O 数理科学与化学
(9)
T 工业技术
(3)
G 文化、科学、教育、体育
(1)
K 历史、地理
(1)
N 自然科学总论
(1)
文献类型
图书
(15)
显示更多..
主题
机器证明
(5)
定理证明
(4)
平面几何
(3)
普及读物
(2)
中国
(1)
几何学
(1)
吴文俊(1919- )
(1)
数学家
(1)
数学理论
(1)
方程解
(1)
现代
(1)
自传
(1)
自动推理
(1)
自然科学
(1)
计算机应用
(1)
非线性方程
(1)
显示更多..
著者
吴文俊
(5)
张景中
(5)
张景中著
(3)
侯晓荣
(2)
吴文俊著
(2)
孙熙椿
(2)
杨路
(2)
刘卓军
(1)
刘叙华
(1)
刘叙华,姜云飞编著
(1)
吕学礼
(1)
吴天骄
(1)
吴文俊主编
(1)
吴文俊口述
(1)
吴文俊,吕学礼著
(1)
姜云飞
(1)
孙熙椿编著
(1)
孙熙椿著
(1)
张景中等编著
(1)
杨路等著
(1)
显示更多..
出版日期
1999
(2)
1983
(1)
1984
(1)
1985
(1)
1987
(1)
1996
(1)
2000
(1)
2003
(1)
2006
(1)
2007
(1)
2015
(1)
2016
(1)
2017
(1)
2024
(1)
显示更多..
馆藏地点
保存本阅览室
(12)
储备书库1
(8)
综合借阅处
(3)
中文参考图书借阅室
(2)
储备剔除书库2
(1)
石门文库
(1)
汽车图书馆
(1)
显示更多..
图书馆
湘图
(15)
显示更多..
语言种类
汉语
(15)
显示更多..
在馆
在馆
(15)
显示更多..
保存至书单:
创建新书单
共 2 页
首页
<上一页
1
2
下一页>
尾页>>
1.
封面仅供参考
定理机器证明
订购中
著者:
刘叙华
姜云飞
出版社:
科学出版社
出版日期: 1987.10
文献类型:
图书 , 索书号:
TP11/21
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
封面仅供参考
王者之路:机器证明及其应用
已借1次.
订购中
著者:
吴文俊
出版社:
湖南科学技术出版社
出版日期: 1999.12
文献类型:
图书 , 索书号:
N49/659
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
封面仅供参考
数理逻辑与机器证明
已借3次.
订购中
著者:
陆钟万
出版社:
科学出版社
出版日期: 1983.11
文献类型:
图书 , 索书号:
O141/12
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
封面仅供参考
几何定理机器证明的基本原理:初等几何部分
订购中
著者:
吴文俊
出版社:
科学出版社
出版日期: 1984.8
文献类型:
图书 , 索书号:
O18/5
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
封面仅供参考
方程求解与机器证明:基于MMP的问题求解
已借1次.
订购中
著者:
高小山
王定康
裘宗燕
出版社:
科学出版社
出版日期: 2006
文献类型:
图书 , 索书号:
O122.2/13
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
封面仅供参考
平面几何定理的机器证明
已借10次.
订购中
著者:
孙熙椿
出版社:
广西教育出版社
出版日期: 1999
文献类型:
图书 , 索书号:
O123.1/26
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
封面仅供参考
自然数的紧化延伸机器证明系统
订购中
著者:
郁文生
窦国威
出版社:
科学出版社
出版日期: 2024
文献类型:
图书 , 索书号:
TP181/346
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
8.
封面仅供参考
非线性代数方程组与定理机器证明
已借4次.
订购中
著者:
杨路
张景中
侯晓荣
出版社:
上海科技教育出版社
出版日期: 1996.9
文献类型:
图书 , 索书号:
O241.7/7
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
9.
封面仅供参考
分角线相等的三角形初等几何机器证明问题
已借1次.
订购中
著者:
吴文俊
吕学礼
出版社:
人民教育出版社
出版日期: 1985.1
文献类型:
图书 , 索书号:
G633.6/463
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
10.
封面仅供参考
数学机械化
已借1次.
订购中
著者:
吴文俊
出版社:
科学出版社
出版日期: 2003
文献类型:
图书 , 索书号:
O1-0/56
在馆信息
图书信息概览
图书目录
试读信息
内容简介
著者简介
共 2 页
首页
<上一页
1
2
下一页>
尾页>>