branching-time temporal logic

英 文 branching-time temporal logic

中 文 分支時間時序邏輯

出 處 電子計算機名詞

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

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

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

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

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

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

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

Time-Life Inc. Time-Life出版公司 【圖書館學與資訊科學大辭典】

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

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

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

Psychology of Time 心理時間 【教育大辭書】

Reaction Time 反應時間 【教育大辭書】

Time-Sharing System 分時系統 【教育大辭書】

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

Full-Time Coach 專任運動教練 【教育大辭書】

Full-Time Postgraduate 脫產研究生（大陸地區） 【教育大辭書】

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

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

Time Sampling 時間樣本法 【教育大辭書】