名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: 机器证明 , 检索到: 12 条结果, 检索时间: 0.109 秒 , 排序选项: 排序方式: 隐藏分类导航
保存至书单:
1.
封面仅供参考
定理机器证明
出版社: 科学出版社   出版日期: 1987
文献类型: 图书 , 索书号: O141
2.
封面仅供参考
机器证明的逻辑推定
著者: 李娜著
出版社: 科学出版社   出版日期: 2023
文献类型: 图书 , 索书号: O141/48
3.
封面仅供参考
数理逻辑与机器证明
出版社: 科学出版社   出版日期: 1983
文献类型: 图书 , 索书号: O141/07
4.
封面仅供参考
出版社: 科学出版社   出版日期: 2020
文献类型: 图书 , 索书号: O144/47
5.
封面仅供参考
出版社: 科学出版社   出版日期: 1984
文献类型: 图书 , 索书号: O18
6.
封面仅供参考
出版社: 科学出版社   出版日期: 2006
文献类型: 图书 , 索书号: O245/02
7.
封面仅供参考
出版社: 科学出版社   出版日期: 2019
文献类型: 图书 , 索书号: O1-53/35
8.
封面仅供参考
出版社: 人民教育出版社   出版日期: 1985
文献类型: 图书 , 索书号: G633.6/387
9.
封面仅供参考
出版社: 科学出版社   出版日期: 2019
文献类型: 图书 , 索书号: O1-53/35
10.
封面仅供参考
计算机怎样解几何题 已借2次.
出版社: 湖北科学技术出版社   出版日期: 2017
文献类型: 图书 , 索书号: O123.1/35