Extended Abstracts Fall 2013: Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations | 如何做好生意 - 2024年10月
Extended Abstracts Fall 2013: Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations
出版社：
出版日期：2015年11月13日
ISBN：9783319212838
語言：繁體中文