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


保存至书单:
1.
互逆主义数理逻辑
著者: 周训伟
出版社: 中国科学技术出版社   出版日期: 2004.4
文献类型: 图书 , 索书号: O141/16
2.
出版社: 商务印书馆   出版日期: 2019
文献类型: 图书 , 索书号: O1-0/85(z)
3.
数理逻辑引论与归结原理 已借30次.
著者: 王国俊
出版社: 科学出版社   出版日期: 2003.9
文献类型: 图书 , 索书号: O141/13
4.
出版社: 商务印书馆   出版日期: 1997
文献类型: 图书 , 索书号: O1-0/85