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