MARC状态:审校 文献类型:中文图书 浏览次数:7
- 题名/责任者:
- Martin-Lof类型论程序设计导引/(瑞典) Bengt Nordstrom, Kent Petersson, Jan M. Smith著 宋方敏译
- 出版发行项:
- 南京:南京大学出版社,2002
- ISBN及定价:
- 7-305-03832-6/CNY24.00
- 载体形态项:
- 195页;23cm
- 个人责任者:
- 努德斯特伦 (Nordstrom, Bengt) 著
- 个人责任者:
- 彼得森 (Petersson, Kent) 著
- 个人责任者:
- 史密斯 (Smith, Jan M.) 著
- 个人次要责任者:
- 宋方敏 译
- 学科主题:
- 计算数学-高等学校-教材
- 中图法分类号:
- O24
- 科图法分类号:
- 51.8
- 一般附注:
- 创建世界高水平大学项目资助教材
- 责任者附注:
- 著者规范汉译姓: 努德斯特伦 (Nordstrom), 彼得森 (Petersson), 史密斯 (Smith)
- 书目附注:
- 有书目 (第183-191页)
- 提要文摘附注:
- 本书包括多型集合、子集合、单型集合、例子四部分内容,从计算科学的角度描述了不同的类型论,适合对计算科学基础感兴趣的研究人员阅读。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
O24/12 | Y242656 | 库本 库199624 | 可借 | |
O24/12 | Y242657 | 基本书库 | 可借 | |
O24/12 | Y242658 | 基本书库 | 可借 | |
O24/12 | Y242659 | 基本书库 | 可借 | |
O24/12 | Y242660 | 基本书库 | 可借 | |
O24/12 | Y242661 | 基本书库 | 可借 | |
O24/12 | Y242662 | 基本书库 | 可借 | |
O24/12 | Y242663 | 基本书库 | 可借 | |
O24/12 | Y242664 | 基本书库 | 可借 | |
O24/12 | Y242665 | 基本书库 | 可借 |
显示全部馆藏信息