Modal and Temporal Logics的意思|示意
美 / /
英 / /
模态和时态逻辑
Modal and Temporal Logics的网络常见释义
模态和时态逻辑 ... Temporal Logics with Reference Pointers-参考指针模态和时态逻辑的层次结构-知来数据 Key words: Modal and Temporal Logics, Reference Pointers, Expressi..
Modal and Temporal Logics相关例句
Three temporal logics i. e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。