名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: 姜云飞 , 检索到: 4 条结果, 检索时间: 0.063 秒 , 排序选项: 排序方式: 隐藏分类导航
分类导航



保存至书单:
1.
著者: 姜云飞
出版社: 上海人民出版社   出版日期: 2015
文献类型: 图书 , 索书号: F835.059/8411
2.
定理机器证明
出版社: 科学出版社   出版日期: 1987
文献类型: 图书 , 索书号: 73.82/L 411
3.
出版社: 清华大学出版社   出版日期: 2008
文献类型: 图书 , 索书号: TP18/4052
4.
著者: 胡晓鹏
出版社: 上海社会科学院出版社   出版日期: 2018
文献类型: 图书 , 索书号: F125.4/4667