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


保存至书单:
共 2 页 首页 <上一页 1 2 下一页>  尾页>>
1.
封面仅供参考
数理逻辑与机器证明 已借14次.
著者: 陆钟万
出版社: 科学出版社   出版日期: 1983
文献类型: 图书 , 索书号: 51.3/LZW
2.
封面仅供参考
出版社: 科学出版社   出版日期: 2006
文献类型: 图书 , 索书号: O122.2/8
3.
封面仅供参考
出版社: 科学出版社   出版日期: 1984.08
文献类型: 图书 , 索书号:
4.
封面仅供参考
著者: 吴文俊
出版社: 科学出版社   出版日期: 1984
文献类型: 图书 , 索书号: O123/4
5.
封面仅供参考
出版社: 科学出版社   出版日期: 2024
文献类型: 图书 , 索书号: TP181/433
6.
封面仅供参考
不等式机器证明与自动发现 已借1次.
出版社: 科学出版社   出版日期: 2008
文献类型: 图书 , 索书号: O178/3
7.
封面仅供参考
出版社: 科学出版社   出版日期: 2020
文献类型: 图书 , 索书号: O144/40
8.
封面仅供参考
出版社: 科学出版社   出版日期: 2015
文献类型: 图书 , 索书号: O18-39/3
9.
封面仅供参考
出版社: 科学出版社   出版日期: 2022
文献类型: 图书 , 索书号: O171/11
10.
封面仅供参考
著者: 吴文俊
出版社: 科学出版社   出版日期: 1984.8
文献类型: 图书 , 索书号: 51.5/WWJ
共 2 页 首页 <上一页 1 2 下一页>  尾页>>
© 2005－ www.interlib.com.cn, all rights reserved