temporal logic
中文翻译
[计] 时序逻辑, 时态逻辑, 暂时逻辑
相关词组
1
[计] 时序逻辑语言
2
[计] 暂时逻辑说明