登入選單
Google圖書搜尋
Martin-Löf Identity Types in C-systems
作者
Vladimir Voevodsky / Bhargav Bhatt / Linquan Ma / Zsolt Patakfalvi / Karl Schwede / Kevin Tucker / Joe Waldron / Jakub Witaszek / Sélim Ghazouani / Corinna Ulcigrai
出版2023
ISBN
OCLC:1430418917
Dimension Reduction in Statistical Modeling
作者
Linquan Ma (Ph.D.)
出版2022
ISBN
OCLC:1393225885
Dimension Reduction in Statistical Modeling
作者
Linquan Ma (Ph.D.)
出版2022
ISBN
OCLC:1398335727