当前位置：首页 > 名称
大约有1项符合查询结果项。（搜索耗时：0.0022秒）
为您推荐： martin fowler martin 2b590 saint martin martin的评价理论原著
您是不是要找：
-
Martin-Lof类型论程序设计导论
（瑞典）Bengt Nordstrom等著；宋方敏译2002 年出版195 页ISBN：7305038326创建世界高水平大学项目资助教材:本书包括多型集合、子集合、单型集合、例子四部分内容，从计算科学的角度描述了不同的类型论，适合对计算科学基础感兴趣的研究人员阅读。 ...
学科分类