|
题名:
|
Martin-Lof类型论程序设计导论 Martin-Lof lei xing lun cheng xu she ji dao lun / (瑞典)Bengt Nordstrom等著 , 宋方敏译 |
|
ISBN:
|
7-305-03832-6 价格： CNY24.00 |
|
语种:
|
chi |
|
载体形态:
|
195页 23cm |
|
出版发行:
|
出版地： 南京 出版社： 南京大学出版社 出版日期： 2002 |
|
内容提要:
|
本书包括多型集合、子集合、单型集合、例子四部分内容，从计算科学的角度描述了不同的类型论，适合对计算科学基础感兴趣的研究人员阅读。 |
|
主题词:
|
计算数学 高等学校 |
|
主题词:
|
计算数学 |
|
中图分类法:
|
O24 版次： 4 |
|
主要责任者:
|
Nordstrom 著 |
|
次要责任者:
|
宋方敏 song fang min 译 |
|
附注:
|
创建世界高水平大学项目资助教材 |
|
索书号:
|
5 |