temporal logic specification

英 文 temporal logic specification

中 文 時序邏輯規格

出 處 電子計算機名詞

相關詞匯

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

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

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

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

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

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

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

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

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

Two-Way Specification Table 雙向細目表 【教育大辭書】

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

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

Career Specification 生涯專精 【教育大辭書】

Content Specification 內容明細化 【教育大辭書】

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

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

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

Logic 邏輯 【教育大辭書】

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

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