時態邏輯語言
中 文 時態邏輯語言
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 時態邏輯語言 | tense logic language | 【電子計算機名詞】 |
| 時序邏輯語言 | temporal logic language | 【電子計算機名詞】 |
| 邏輯語言 | logical language{=LOGLAN} | 【電子計算機名詞】 |
| 時態邏輯 | tense logic | 【電子計算機名詞】 |
| 編輯語言 | Authoring Language | 【教育大辭書】 |
| 變電所組態描述語言 | substation configuration description language | 【電子工程】 |
| 編輯語言 | authoring language | 【電子工程】 |
| 變電所組態描述語言 | substation configuration description language | 【電子計算機名詞】 |
| 靜態型式語言 | statically typed language | 【電子計算機名詞】 |
| 時序查詢語言 | temporal query language{=TQUEL} | 【電子計算機名詞】 |
| 敘述性輸出詞彙編輯語言 | narrative output vocabulary edition language{=NOVEL} | 【電子計算機名詞】 |
| 動態型式語言 | dynamically typed language | 【電子計算機名詞】 |
| 動態腳本語言 | action script | 【新聞傳播學名詞】 |
| 延伸狀態轉移語言 | ESTELLE (Extended State Transition Language) | 【通訊工程】 |
| 動態邏輯：時脈與非同步 | dynamic logic: clocked and asynchronous | 【電子工程】 |
| 電流模態邏輯 | current-mode logic | 【資訊與通信術語辭典】 |
| 三態邏輯 | tristate logic | 【資訊與通信術語辭典】 |
| 邏輯語意學 | logical semantics | 【資訊與通信術語辭典】 |
| 三態邏輯 | tristate logic{=TSL} | 【電子工程】 |
| 三態邏輯 | tristate logic{=TSL} | 【電機工程】 |