| 暂存书架(0) | 登录

检索到 1 条 题名=Programming in Martin-Lofs type theory an introduction 的结果    

 


所有图书 可借图书

  1. 中文图书1.Martin-Lof类型论程序设计导引 O24/8010

    馆藏复本：5
    可借复本：4     (瑞典) Bengt Nordstrom, Kent Petersson, Jan M. Smith著
    南京大学出版社 2002
    (0) 馆藏

返回顶部