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


保存至书单:
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.
出版社: John Wiley & Sons,Inc.   出版日期: 1988
文献类型: 图书 , 索书号: 73.82/FH
7.
8.
How to prove it =: 怎样证明数学题 / 已借6次.
出版社: 人民邮电出版社,   出版日期: 2009.
文献类型: 图书 , 索书号: 51.3/VDJ(2)
9.
10.