名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: Prove , 检索到: 155 条结果, 检索时间: 0.048 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图


保存至书单:
共 16 页 首页 <上一页 1 2 3 4 5 6 7 8 9 10 下一页>  尾页>>
1.
封面仅供参考
Automated theorem proving
出版社: American Mathematical Society   出版日期: 1984
文献类型: 图书 , 索书号: O141/ATP
2.
封面仅供参考
Proving Programs Corroct
出版社: John Wiley   出版日期: 1979
文献类型: 图书 , 索书号: 73.87221/ARB
3.
封面仅供参考
出版社: N. Zanichelli ;   出版日期: 1987.
文献类型: 图书 , 索书号: D954.651/PS /35.547173/PS
4.
封面仅供参考
出版社: /   出版日期: 1984
文献类型: 图书 , 索书号: 51.93083/CM(83)/29
5.
封面仅供参考
出版社: ?   出版日期: 1969
文献类型: 图书 , 索书号: 73.83/GCC
6.
封面仅供参考
出版社: Cambridge University Press,   出版日期: 2017.
文献类型: 图书 , 索书号: D994/BK
7.
封面仅供参考
How to prove it =: 怎样证明数学题 / 已借6次.
出版社: 人民邮电出版社,   出版日期: 2009.
文献类型: 图书 , 索书号: 51.3/VDJ(2)
8.
封面仅供参考
出版社: John Wiley & Sons,Inc.   出版日期: 1988
文献类型: 图书 , 索书号: 73.82/FH
9.
封面仅供参考
文献类型: 图书 , 索书号: K296.503/2
10.
封面仅供参考
建立不等式的方法 已借23次.
著者: 王挽澜
出版社: 哈尔滨工业大学出版社   出版日期: 2011
文献类型: 图书 , 索书号: O178/7
共 16 页 首页 <上一页 1 2 3 4 5 6 7 8 9 10 下一页>  尾页>>
© 2005－ www.interlib.com.cn, all rights reserved