名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: 张寅生 , 检索到: 2 条结果, 检索时间: 0.023 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图


保存至书单:
1.
扩展的三段论及自动推理 已借3次.
著者: 张寅生
出版社: 科学技术文献出版社   出版日期: 2009
文献类型: 图书 , 索书号: B502.233/34
2.
出版社: 科学出版社   出版日期: 2016
文献类型: 图书 , 索书号: P33/23