•  校园读者登录  社会读者登录
首页
本馆概况
  • 本馆介绍
  • 现任领导
  • 机构设置
  • 联系我们
档案查询
  • 档案查询
资源
  • 纸质资源
  • 数字资源
服务
  • 入馆指南
  • 借阅服务
  • 空间与设施
  • 参考咨询
  • 常见问题解答
  • 荐购资源
  • 随书光盘
  • 学位论文提交
  • 座位预约
  • 读者留言
  • 监督投诉
教学科研
  • 本科生教育
  • 研究生教育
  • 研究指南
  • 科研动态
科技查新
  • 查新站介绍
  • 查新业务
  • 论文查收查引
  • 论文查重(相似性检测)
  • ESI专题
  • 知识产权服务
  • 联系我们
党群工作
  • 党务工作
  • 工会工作
当前位置:馆藏&资源 > 搜索结果
全部 图书 期刊 非书资料
在结果中检索
在结果中检索
在结果中检索
在结果中检索
搜索 张景中著 的资源 9 条结果,用时 0.002 秒
显示方式:
  • 详细显示
  • 列表显示
排序:
  • 默认排序
  • 题名
  • 出版日期
  • 入藏日期

图书馆

  • 河南科技大学(9)

资源类型

  • 图书(9)

馆藏地址

  • 开元样本书库(可阅)(8)
  • 开元理学综合书库(8)
  • 数理系(1)

书目库

  • 中文图书(9)

主题

  • 数学哲学(2)
  • 数学哲学问题(2)
  • 人工智能(1)
  • 代数方程(1)
  • 几何学(1)
  • 向量(1)
  • ..更多
  • 微积分(1)
  • 机器证明(1)
  • ..隐藏

出版社

  • 北京师范大学出版社(2)
  • 大连理工大学出版社(2)
  • 科学出版社(2)
  • 上海科技教育出版社(1)
  • 清华大学出版社 暨南大学出版社(1)
  • 高等教育出版社(1)

出版时间

  • 1996(1)
  • 2000(1)
  • 2015(1)
  • 2016(1)
  • 2017(1)
  • 2019(1)
  • ..更多
  • 2021.07(1)
  • 2023.01(1)
  • 2023.12(1)
  • ..隐藏
  • 计算机怎样解几何题:谈谈自动推理 图书

    — 张景中著

    索 书 号 :N49/1/1.4

    标准编码: 7-81029-930-1

    出版信息:清华大学出版社 暨南大学出版社  2000  北京 广州

    主 题 词 : 机器证明   人工智能  

    馆藏预览

    中文图书

    加载中...
    加载中...
  • 非线性代数方程组与定理机器证明 图书

    — 杨路,张景中,侯晓荣著

    索 书 号 :O175/19

    标准编码: 7-5428-1379-X

    出版信息:上海科技教育出版社  1996  上海

    馆藏预览

    中文图书

    加载中...
    加载中...
  • 几何新方法和新体系 图书

    — 张景中著

    索 书 号 :O18-4/1-2

    标准编码: 978-7-0304-4683-1

    出版信息:科学出版社  2015  北京

    馆藏预览

    中文图书

    加载中...
    加载中...
  • 数学与哲学 图书

    — 张景中著

    索 书 号 :O1-0/91-2

    标准编码: 978-7-5611-9821-6

    出版信息:大连理工大学出版社  2016  大连

    馆藏预览

    中文图书

    加载中...
    加载中...
  • 数学哲学 图书

    — 张景中编著

    索 书 号 :O1-43/2

    标准编码: 978-7-303-22133-2

    出版信息:北京师范大学出版社  2017  北京

    馆藏预览

    中文图书

    加载中...
    加载中...
  • 数学哲学 图书

    — 张景中,彭翕成著

    索 书 号 :O1-0/51-3

    标准编码: 978-7-303-23432-5

    出版信息:北京师范大学出版社  2019  北京

    馆藏预览

    中文图书

    加载中...
    加载中...
  • 数学与哲学 图书

    — 张景中著

    索 书 号 :O1/130

    标准编码: 978-7-5685-4046-9

    出版信息:大连理工大学出版社  2023.01  大连

    馆藏预览

    中文图书

    加载中...
    加载中...
  • 绕来绕去的向量法 图书

    — 张景中, 彭翕成著

    索 书 号 :O183.1/9-2

    标准编码: 978-7-03-047662-3

    出版信息:科学出版社  2021.07  北京

    馆藏预览

    中文图书

    加载中...
    加载中...
  • 一元微积分新讲 图书

    — 林群, 胡清林, 张景中著

    索 书 号 :O172/253

    标准编码: 978-7-04-060767-3

    出版信息:高等教育出版社  2023.12  北京

    馆藏预览

    中文图书

    加载中...
    加载中...

1 共有: 9 条记录

热门检索词

请点击下载Flash Player 9 或更高版本

版权信息 |网站地图 |联系我们
Copyright © 2021 河南科技大学图书馆