類型理論為基的方法

中 文 類型理論為基的方法

英 文 type theory-based method

出 處 電子計算機名詞

相關詞匯

中文詞彙 英文翻譯 出處/學術領域
類型理論為基的方法 type theory-based method 【電子計算機名詞】
博弈理論為基的協商 game theory-based negotiation 【電子計算機名詞】
CLB法(用含有抑制交叉,隱性致死基因、棒狀眼的雌果蠅與野生的或受處理的雄果蠅交配,在其後代中決定雄果蠅的X染色體上有無致死基因的方法) CLB method 【生物學名詞-植物】
行為型;行為為基的 behaviour-based 【電子計算機名詞】
拉鏈(停止符號;處理樹狀結構的方法) zipper 【電子計算機名詞】
前瞻性的方法論 forward-looking methodology 【新聞傳播學名詞】
資料保持(將採樣函數變換為連續變量函數的方法) data hold (data processing) 【電力工程】
探測線圈測試法(直接測定電纜故障點的方法) search-coil test 【電機工程】
閃爍計數;用閃爍的方法測量放射性 scinticounting 【電機工程】
奎因法﹝一種同化開關函數的方法﹞ Quine's method 【電機工程】
均方根馬力法(計算週期性斷續工作方式等效功率的方法) RMS-horsepower method 【電機工程】
扶養的方法 Manner of provoding support 【法律學名詞-性別與家事法】
奎因法;一種簡化開關函數的方法 Quine's method 【電子計算機名詞】
目的/方法分析 ends/means analysis 【電子計算機名詞】
關係性的方法 relational methods 【社會學名詞】
關係性的方法學 relational methodology 【社會學名詞】
無菌的方法 aseptic method 【計量學名詞】
布萊維爾試驗(一種尋找電纜故障點的方法) Blavier's test 【電力工程】
均方根馬力法(計算週期性斷續工作方式等效功率的方法) RMS-horsepower method 【電力工程】
奎因法(一種同化開關函數的方法) Quine's method 【電力工程】