开心谷歌词典
简体
繁體
搜索
branching-time temporal logic
B 开头单词
基本解释
[計算機科學技術]分支時間瞬時邏輯分支時間時序邏輯
专业释义
計算機科學技術
分支時間瞬時邏輯
分支時間時序邏輯
上一篇
下一篇