propositional dynamic logic的意思|示意
美 / /
英 / /
命题动态逻辑
propositional dynamic logic的网络常见释义
命题动态逻辑 ... 命题表达式 propositional expression 命题动态逻辑 propositional dynamic logic 命题树 proposition tree ...
propositional dynamic logic相关短语
1、 deterministic propositional dynamic logic 确定性命题逻辑
2、 many-sorted propositional dynamic logic 多类命题动态逻辑