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


保存至书单:
1.
封面仅供参考
著者: 吴文俊
出版社: 湖南科学技术出版社   出版日期: 1999.12
文献类型: 图书 , 索书号: O1-0/14
2.
封面仅供参考
机器证明的逻辑推定
著者: 李娜
出版社: 科学出版社   出版日期: 2023
文献类型: 图书 , 索书号: O141/
3.
封面仅供参考
分析基础机器证明系统 已借1次.
出版社: 科学出版社   出版日期: 2022.01
文献类型: 图书 , 索书号: O171/3
4.
封面仅供参考
著者: 张景中
出版社: 暨南大学出版社   出版日期: 2000.5
文献类型: 图书 , 索书号: O123.1/1
5.
封面仅供参考
著者: 周彦伟
出版社: 西安电子科技大学出版社   出版日期: 2023.12
文献类型: 图书 , 索书号: TN918.4/4
6.
封面仅供参考
符号计算选讲
著者: 王东明
出版社: 清华大学出版社   出版日期: 2003
文献类型: 图书 , 索书号: TP301.6/7
7.
封面仅供参考
著者: 多维克
出版社: 人民邮电出版社   出版日期: 2017.02
文献类型: 图书 , 索书号: TP3/431