检索
高级检索
书目浏览
中图分类浏览
科图分类浏览
我的图书馆
新书通报
中图分类查看
科图分类查看
信息公告
全馆预约到馆通知
全馆图书催还通知
所有标签
图书专题
图书荐购
历史荐购
读者荐购
征订书目
语言:
中文
登录
语言:
中文
登录
前方一致
模糊检索
精确检索
任意词
题名
ISBN/ISSN
著者
主题词
分类号
控制号
订购号
出版社
索书号
q=*%3A*&searchType=standard&isFacet=true&view=standard&searchWay=subject&rows=10&sortWay=score&sortOrder=desc&f_curlibcode=MT&f_author=%E9%AB%98%E5%B0%8F%E5%B1%B1&f_class1=o&searchWay0=marc&logical0=AND
rows=10&searchWay0=marc&logical0=AND
名称:
描述:
公开/私有:
公开
私有
标题:
描述:
公开/私有:
公开
私有
检索词:
*:*
, 检索到: 7 条结果, 检索时间: 0.013 秒, 排序选项:
匹配度
出版日期
主题词
题名
著者
索书号
题名拼音
借阅次数
续借次数
题名权重
正题名权重
卷册号
排序方式:
降序排列
升序排列
Hide chart
|
Hide chart
*:*
分类导航
O1 数学
(6)
O2 数学
(2)
k8
(1)
回到上一级分类
已经限定的分面
图书馆:
福建省图书馆
x
著者:
高小山
x
分面检索
图书馆
[福建省图书馆]
(7)
显示更多..
主题
数学
(6)
几何学
(2)
定理证明
(2)
数学理论
(2)
机器证明
(2)
中国
(1)
代数几何
(1)
博弈论
(1)
吴文俊(1919-2017)
(1)
应用软件
(1)
数值计算
(1)
数学家
(1)
现代
(1)
显示更多..
著者
[高小山]
(7)
吴文俊
(5)
吴文俊著
(5)
高小山编订
(4)
李文林
(2)
李文林,高小山编订
(1)
李邦河
(1)
李邦河,高小山,李文林主编
(1)
高小山[等]著
(1)
显示更多..
出版日期
2019
(6)
2006
(1)
显示更多..
文献类型
图书
(7)
显示更多..
语言种类
汉语
(6)
英语
(3)
显示更多..
在馆
在馆
(7)
显示更多..
保存至书单:
创建新书单
总共 1 页
首页
<上一页
1
下一页>
尾页>>
1.
吴文俊全集.附卷.Attached volume:回忆与纪念
订购中
著者:
李邦河,高小山,李文林
出版社:
科学出版社
出版日期: 2019
文献类型:
图书 , 索书号:
O1-53/35/6
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
2.
吴文俊全集.数学机械化卷.Ⅲ,Mathematics mechanization.Ⅲ:数学机械化
订购中
著者:
吴文俊
出版社:
科学出版社
出版日期: 2019
文献类型:
图书 , 索书号:
O1-53/35/2:3
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
3.
吴文俊全集.数学机械化卷.Ⅳ,Mathematics mechanization.IV:几何定理机器证明的基本原理
订购中
著者:
吴文俊
出版社:
科学出版社
出版日期: 2019
文献类型:
图书 , 索书号:
O1-53/35/2:4
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
4.
吴文俊全集.数学机械化卷.Ⅱ,Mathematics mechanization.II
订购中
著者:
吴文俊
出版社:
科学出版社
出版日期: 2019
文献类型:
图书 , 索书号:
O1-53/35/2:2
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
5.
吴文俊全集.博弈论、代数几何、图的平面嵌入卷.Game theory, algebraic geometry, and planar imbedding of graphs
订购中
著者:
吴文俊
出版社:
科学出版社
出版日期: 2019
文献类型:
图书 , 索书号:
O1-53/36/1
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
6.
吴文俊全集.数学机械化卷.Ⅴ,Mathematics mechanization.V
订购中
著者:
吴文俊
出版社:
科学出版社
出版日期: 2019
文献类型:
图书 , 索书号:
O1-53/35/2:5
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
7.
方程求解与机器证明:基于MMP的问题求解
订购中
著者:
高小山
出版社:
科学出版社
出版日期: 2006
文献类型:
图书 , 索书号:
O245/15
在馆信息
电子资源
图书信息概览
图书目录
试读信息
内容简介
著者简介
总共 1 页
首页
<上一页
1
下一页>
尾页>>