first-order temporal predicate calculus
first-order temporal predicate calculus
一阶时间谓词演算
以上为机器翻译结果，长、整句建议使用 人工翻译 。
-
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。
youdao
更多双语例句