书目详细信息
： Martin-Lof类型论程序设计导引
书目信息 机读格式(MARC)
| ISBN/价格： | 7-305-03832-6:CNY24.00 |
|---|---|
| 作品语种： | chi swe |
| 出版国别： | CN 320000 |
| 题名责任者项： | Martin-Lof类型论程序设计导引/.(瑞典)Bengt Nordstrom等著/.宋方敏译 |
| 出版发行项： | 南京:,南京大学出版社:,2002 |
| 载体形态项： | 195页:;+23cm |
| 一般附注： | 创建世界高水平大学项目资助教材 |
| 提要文摘： | 本书包括多型集合、子集合、单型集合、例子四部分内容，从计算科学的角度描述了不同的类型论，适合对计算科学基础感兴趣的研究人员阅读。 |
| 并列题名： | Programming in Martin-Lofs Type Theory an Introduction eng |
| 题名主题： | 计算数学 高等学校 教材 |
| 题名主题： | 计算数学 |
| 中图分类： | O24 |
| 个人名称等同： | Nordstrom Bengt 著 |
| 个人名称次要： | 宋方敏 译 |