大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 类型论 的图书(共2本)
![]() |
观念与范式 : 类型电影研究6.5索取号:J905.1/200631 作者:沈国芳、 出版社:北京 : 中国电影出版社, 2005 | ![]() |
Martin-Lof类型论程序设计导引0索取号:O24/20071 作者:努德斯特伦、彼得森、史密斯、宋方敏、 出版社:南京 : 南京大学出版社, 2002 |
最近添加的分类
粤公网安备 44030602003680号