標(biāo)題: Titlebook: Types for Proofs and Programs; International Worksh Paul Callaghan,Zhaohui Luo,Robert Pollack Conference proceedings 2002 Springer-Verlag B [打印本頁] 作者: 大腦 時(shí)間: 2025-3-21 16:29
書目名稱Types for Proofs and Programs影響因子(影響力)
書目名稱Types for Proofs and Programs影響因子(影響力)學(xué)科排名
書目名稱Types for Proofs and Programs網(wǎng)絡(luò)公開度
書目名稱Types for Proofs and Programs網(wǎng)絡(luò)公開度學(xué)科排名