当前位置:首页 > TAG信息列表 > 类型
类型
-
审判前沿 2003年 第1辑 总第3辑 新类型案件审判实务
贺荣主编;北京市高级人民法院编2003 年出版375 页ISBN:7503641975本书针对法院审判实践中的新类型案件,通过审判分析的方法,得出适用法律的指导性意见。
-
审判前沿 2003年 第3集 总第5集 新类型案件审判实务
贺荣主编;北京市高级人民法院编2003 年出版282 页ISBN:7503641975本书针对法院审判实践中的新类型案件,通过审判分析的方法,得出适用法律的指导性意见。
-
Martin-Lof类型论程序设计导论
(瑞典)Bengt Nordstrom等著;宋方敏译2002 年出版195 页ISBN:7305038326创建世界高水平大学项目资助教材:本书包括多型集合、子集合、单型集合、例子四部分内容,从计算科学的角度描述了不同的类型论,适合对计算科学基础感兴趣的研究人员阅读。 ...