检索词: 定理证明 , 检索到: 8 条结果, 检索时间: 0.03 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图

分类导航

O 数理科学与化学 (8)

T 工业技术 (1)

保存至书单:

共 1 页首页 <上一页 1 下一页> 尾页>>

	1.	封面仅供参考	素数定理的初等证明已借2次. 订购中 (含光盘) 著者: 潘承彪潘承洞出版社: 哈尔滨工业大学出版社出版日期: 2017 文献类型: 图书 , 索书号: O156.2/26(2) 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	2.	封面仅供参考	计算机怎样解几何题订购中 (含光盘) 著者: 张景中出版社: 湖北科学技术出版社出版日期: 2017 文献类型: 图书 , 索书号: O123.1/27 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	3.	封面仅供参考	挑战思维极限：勾股定理的365种证明已借3次. 订购中 (含光盘) 著者: 李迈新出版社: 清华大学出版社出版日期: 2016 文献类型: 图书 , 索书号: O123.3/4 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	4.	封面仅供参考	几何定理机器证明的几何不变量方法订购中 (含光盘) 著者: 张景中高小山周咸青出版社: 科学出版社出版日期: 2015 文献类型: 图书 , 索书号: O18-39/3 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	5.	封面仅供参考	交互式定理证明与程序开发：Coq归纳构造演算的艺术：coq'art: the calculus of inductive constructions 订购中 (含光盘) 著者: 贝尔托卡斯特拉出版社: 清华大学出版社出版日期: 2010 文献类型: 图书 , 索书号: O141-39/1 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	6.	封面仅供参考	几何定理计算机证明已借3次. 订购中 (含光盘) 著者: 孙熙椿出版社: 科学出版社出版日期: 2007.06 文献类型: 图书 , 索书号: O18-39/1 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	7.	封面仅供参考	非线性代数方程组与定理机器证明已借19次. 订购中 (含光盘) 著者: 杨路出版社: 上海科技教育出版社出版日期: 1996 文献类型: 图书 , 索书号: O241.7/11 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	8.	封面仅供参考	素数定理的初等证明已借11次. 订购中 (含光盘) 著者: 潘承洞出版社: 上海科学技术出版社出版日期: 1988 文献类型: 图书 , 索书号: O156/52 在馆信息图书信息概览图书目录试读信息内容简介著者简介

共 1 页首页 <上一页 1 下一页> 尾页>>

© 2005－ www.interlib.com.cn, all rights reserved