检索条件： 定理证明 ( 主题词 )

检索结果共有3条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书挑战思维极限：勾股定理的365种证明
责任者李迈新

出版信息清华大学出版社 ,2016.12

ISBN 978-7-302-45879-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
李迈新.挑战思维极限：勾股定理的365种证明.清华大学出版社,2016.12.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://t.wzbc.edu.cn:80/opac/book/5761125
复制引文到剪贴板

挑战思维极限：勾股定理的365种证明

李迈新.清华大学出版社,2016.12.
2 图书基于矛盾体分离演绎的一阶逻辑自动定理证明器
责任者曹锋,林玲瑜

出版信息冶金工业出版社 ,2025

ISBN 978-7-5240-0326-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
曹锋,林玲瑜.基于矛盾体分离演绎的一阶逻辑自动定理证明器.冶金工业出版社,2025.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://t.wzbc.edu.cn:80/opac/book/6032082
复制引文到剪贴板

基于矛盾体分离演绎的一阶逻辑自动定理证明器

曹锋,林玲瑜.冶金工业出版社,2025.
3 图书几何定理机器证明的基本原理：初等几何部分
责任者吴文俊

出版信息科学出版社 ,1984

ISBN 978-7-03-028377-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
吴文俊.几何定理机器证明的基本原理：初等几何部分.科学出版社,1984.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://t.wzbc.edu.cn:80/opac/book/67881
复制引文到剪贴板

几何定理机器证明的基本原理：初等几何部分

吴文俊.科学出版社,1984.

预借成功!

预约成功!