首页
登录/注册
编程语言
计算机基础
互联网
云计算&大数据
人工智能
设计
职场办公
注重体验与质量的电子书资源下载网站
标签名:
TypeTheory
出版日期:
2014-01
Homotopy Type Theory: Univalent Foundations of Mathematics
评分:
7.8
