-
讨论了三种时间逻辑方法:一阶谓词演算,模态逻辑及具体化逻辑。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
youdao
-
讨论了三种时间逻辑方法:一阶谓词演算,模态逻辑及具体化逻辑。
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
youdao