first-order temporal logic
first-order temporal logic是什么意思、first-order temporal logic怎么读
【计】 一组时态逻辑
first-order temporal logic汉语翻译
【计】 一组时态逻辑