多态逻辑
基于1个网页-相关网页
multi-state logic operators 多态逻辑算子
·2,447,543篇论文数据，部分数据来源于NoteExpress
In order to describe the process of multi action commitments and uncommitments, the concept of transition between model state pairs in action dynamic logic was introduced.
通过引入动态逻辑中模型状态迁移概念以及相关谓词来描述多动作承诺与取消承诺时各模型状态变化及相应处理 。
youdao
应用推荐
模块上移
模块下移
不移动