temporal logic language

英 文 temporal logic language

中 文 時序邏輯語言

出 處 電子計算機名詞

temporal logic language 時序邏輯語言 【電子計算機名詞】

branching-time temporal logic 分支時間時序邏輯 【電子計算機名詞】

tense logic language 時態邏輯語言 【電子計算機名詞】

temporal query language{=TQUEL} 時序查詢語言 【電子計算機名詞】

temporal logic specification 時序邏輯規格 【電子計算機名詞】

temporal logic 時序邏輯 【電子計算機名詞】

interval temporal logic 區間時序邏輯 【電子計算機名詞】

temporal logic 時刻邏輯 【數學名詞-兩岸數學名詞 】

temporal logic 時刻邏輯 【數學名詞】

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

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

logic based data language 以邏輯為基的數據語言 【資訊與通信術語辭典】

algebraic logic functional language 代數邏輯函數語言 【資訊與通信術語辭典】

algebraic logic functional language{=ALF} 代數邏輯函數語言 【電子計算機名詞】

language of temporal ordering specification 暫時順序規格的語言 【電子計算機名詞】

logic programming language 邏輯程式語言 【電子計算機名詞】

logic generating language{=LOGEL} 邏輯產生語言 【電子計算機名詞】

Logic Design Language 邏輯設計語言 【電子計算機名詞】

logic based data language 以邏輯為基的數據語言 【電子計算機名詞】

logic and language 邏輯與語言 【電子計算機名詞】