簡單類型論

中 文 簡單類型論

英 文 simple theory of type

出 處 數學名詞

相關詞匯

中文詞彙 英文翻譯 出處/學術領域
簡單類型論 simple theory of type 【數學名詞】
類型論 type theory 【心理學名詞】
分歧類型論 ramified theory of type 【數學名詞-兩岸數學名詞 】
分歧類型論 ramified theory of type 【數學名詞】
資料類型標示 General Material Designation, 簡稱GMD 【圖書館學與資訊科學大辭典】
簡單型 simple type 【資訊與通信術語辭典】
簡單型式 simple type 【電子工程】
卡片單元類型 card unit type 【電子計算機名詞】
設備類型;單元類型 unit type 【電子計算機名詞】
邏輯類型的理論 theory of logical types 【電子計算機名詞】
類型理論為基的方法 type theory-based method 【電子計算機名詞】
型式理論;類型理論 type theory 【電子計算機名詞】
簡單型 simple type 【電子計算機名詞】
單一工作站類型 single station type 【電子計算機名詞】
邏輯單元類型 6.2;邏輯單元型式 6.2 logical unit type 6.2 【電子計算機名詞】
邏輯單元型式 1;邏輯單元類型 1 logical unit type 1 【電子計算機名詞】
邏輯單元類型 LU type 【電子計算機名詞】
單褶型〔腕足類〕 uniplicate 【海洋地質學 】
緊密的,緊湊的,小型的,簡單的,使之緊密,模塑,壓制品,合同,條約 compact 【電力工程】
緊縮體;粉壓坯;緊密;均收;緊緻[的];緻密;緊湊的;小型的;簡單的;使之緊密;模塑;壓制品;合同;條約;粉質壓成體 compact 【兩岸對照名詞-機械】