时序动态描述逻辑相关硕士博士期刊学术论文

本文结合面向对象、时序动态描述逻辑等概念及理论，研究了管理制度设计的面向对象的时序动态描述逻辑公式描述形式，这些公式是管理制......