temporal logic language

【计】 时序逻辑语言
在线英汉词典
相关词语