開心谷歌詞典
簡體
繁體
搜索
branching-time temporal logic
B 開頭單詞
基本解釋
[計算機科學技術]分支時間瞬時邏輯分支時間時序邏輯
專業(yè)釋義
計算機科學技術
分支時間瞬時邏輯
分支時間時序邏輯
上一篇
下一篇