first-order temporal logic

【计】 一组时态逻辑
英汉词典
相关词语