果味酸柯林斯词典
搜索
branching-time temporal logic
B 开头单词
基本解释
[计算机科学技术]分支时间瞬时逻辑分支时间时序逻辑
专业释义
计算机科学技术
分支时间瞬时逻辑
分支时间时序逻辑
上一篇
下一篇