名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: 机器证明 , 检索到: 15 条结果, 检索时间: 0.039 秒 , 排序选项: 排序方式: 隐藏分类导航


保存至书单:
1.
封面仅供参考
出版社: 科学出版社   出版日期: 1987.10
文献类型: 图书 , 索书号: TP11/21
2.
封面仅供参考
著者: 吴文俊
出版社: 湖南科学技术出版社   出版日期: 1999.12
文献类型: 图书 , 索书号: N49/659
3.
封面仅供参考
数理逻辑与机器证明 已借3次.
著者: 陆钟万
出版社: 科学出版社   出版日期: 1983.11
文献类型: 图书 , 索书号: O141/12
4.
封面仅供参考
著者: 吴文俊
出版社: 科学出版社   出版日期: 1984.8
文献类型: 图书 , 索书号: O18/5
5.
封面仅供参考
出版社: 科学出版社   出版日期: 2006
文献类型: 图书 , 索书号: O122.2/13
6.
封面仅供参考
著者: 孙熙椿
出版社: 广西教育出版社   出版日期: 1999
文献类型: 图书 , 索书号: O123.1/26
7.
封面仅供参考
出版社: 科学出版社   出版日期: 2024
文献类型: 图书 , 索书号: TP181/346
8.
封面仅供参考
出版社: 上海科技教育出版社   出版日期: 1996.9
文献类型: 图书 , 索书号: O241.7/7
9.
封面仅供参考
出版社: 人民教育出版社   出版日期: 1985.1
文献类型: 图书 , 索书号: G633.6/463
10.
封面仅供参考
数学机械化 已借1次.
著者: 吴文俊
出版社: 科学出版社   出版日期: 2003
文献类型: 图书 , 索书号: O1-0/56