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