temporal logic language
temporal logic language是什么意思、temporal logic language怎么读
【计】 时序逻辑语言
temporal logic language汉语翻译
【计】 时序逻辑语言