检索词: 郁文生 , 检索到: 3 条结果, 检索时间: 0.049 秒 , 排序选项: 排序方式: 隐藏分类导航隐藏趋势图

分类导航

保存至书单:

共 1 页首页 <上一页 1 下一页> 尾页>>

1.	封面仅供参考	机器证明：公理集论及分析基础的形式化订购中 (含光盘) 著者: 郁文生 ... [等] 著出版社: 科学出版社出版日期: 2025.09 文献类型: 图书 , 索书号: TP181/4702 在馆信息图书信息概览
2.	封面仅供参考	自然数的紧化延伸机器证明系统订购中 (含光盘) 著者: 郁文生窦国威著出版社: 科学出版社出版日期: 2024.05 文献类型: 图书 , 索书号: 在馆信息图书信息概览
3.	封面仅供参考	分析基础机器证明系统订购中 (含光盘) 著者: 郁文生付尧顺郭礼权著出版社: 科学出版社出版日期: 2022.01 文献类型: 图书 , 索书号: O171/4702 在馆信息图书信息概览

共 1 页首页 <上一页 1 下一页> 尾页>>