簡單類型論
中 文 簡單類型論
出 處 數學名詞
相關詞匯
中文詞彙 | 英文翻譯 | 出處/學術領域 |
---|---|---|
簡單類型論 | 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 | 【兩岸對照名詞-機械】 |