逻辑刻画相关论文
一阶逻辑通过形式刻画揭示语言内含的认知信息以分析刻画推理的演绎必然性,模态逻辑注重分析刻画与概念实质内容相关的内涵特征,扩......
个人在指导自己的生活时,会对过去发生的事件有一定的认知,对将来可能的事态有一定的设想.然而在一些有影响的事件发生后,个人对过......
软件需求模型及其检测是软件需求工程中的重要工作.在分析现有需求建模方法和软件行为相关研究的基础上,对将软件行为概念引入需求......
高阶进程演算,因为其很强的抽象能力和理论上的重要性,在进程演算领域一直得到广泛的关注,并成为描述和分析具有动态变换特性的内......
