分支時間時序邏輯
中 文 分支時間時序邏輯
英 文 branching-time temporal logic
出 處 電子計算機名詞
相關詞匯
| 中文詞彙 | 英文翻譯 | 出處/學術領域 |
|---|---|---|
| 分支時間時序邏輯 | branching-time temporal logic | 【電子計算機名詞】 |
| 長分支順序 | long branch sequence | 【電子計算機名詞】 |
| 支序群；分支群；分支 | clade | 【生態學名詞】 |
| 分支圖；支序圖 | cladogram | 【動物學名詞】 |
| 分支特性方程式 | branch characteristic equation | 【資訊與通信術語辭典】 |
| 微程式分支 | microprogram branching | 【資訊與通信術語辭典】 |
| 分支特性方程式 | branch characteristic equation | 【電子計算機名詞】 |
| 微程式分支 | microprogram branching | 【電子計算機名詞】 |
| 無條件微程式分支指令 | unconditional branch microprogram instruction | 【電子計算機名詞】 |
| 邏輯電路分支 | branch of logic circuit | 【電子計算機名詞】 |
| 連線即時分支情報語言 | on-line real-time branch information language{=ORBIL} | 【電子計算機名詞】 |
| 程序分支敘述 | procedure branching statement | 【資訊與通信術語辭典】 |
| 分支站；區間台 | tributary station | 【電子工程】 |
| 分支與界限程序 | branch and bound procedure | 【電子計算機名詞】 |
| 程序分支敘述 | procedure branching statement | 【電子計算機名詞】 |
| 轉移副程序；分支次常式 | branch subroutine | 【電機工程】 |
| 空間的[連通]分支 | component of space | 【數學名詞-兩岸數學名詞 】 |
| 空間的分支 | component of space | 【數學名詞】 |
| 分支點 | branch point | 【力學名詞辭典】 |
| 分支 | branching | 【資訊與通信術語辭典】 |