many-sorted logic

英 文 many-sorted logic

中 文 多類邏輯

出 處 資訊與通信術語辭典

many-sorted logic 多類邏輯 【資訊與通信術語辭典】

many-sorted logic 多類邏輯 【電子計算機名詞】

many valued logic 多值邏輯 【電子工程】

many value logic 多值邏輯 【電子計算機名詞】

many-valued logic 多值邏輯 【數學名詞-兩岸數學名詞 】

many-sorted predicate calculus 多種類謂詞演算 【數學名詞-兩岸數學名詞 】

many-valued logic 多值邏輯 【數學名詞】

many-sorted predicate calculus 多種類謂詞演算 【數學名詞】

F-Logic F-Logic 物件導向語言 【電子計算機名詞】

Common sun Skink, Many Striped Skink 多線南蜥 【脊椎動物百科全書】

Fuzzy Logic 模糊邏輯 【教育大辭書】

Mathematical Logic 數理邏輯 【教育大辭書】

Many-Sided Interest 多方面興趣 【教育大辭書】

[Language, Truth and Logic] 〔語言、真理與邏輯〕 【教育大辭書】

Combinational Logic Reasoning 組合邏輯推理 【教育大辭書】

Predicate Logic 述詞邏輯 【教育大辭書】

One and Many 一與多 【教育大辭書】

Logic 邏輯 【教育大辭書】

[The Logic of Scientific Discovery] 〔科學發現的邏輯〕 【教育大辭書】

Programmed Logic for Automatic Teaching Operation，簡稱 PLATO 自動化輔助教學 【圖書館學與資訊科學大辭典】