位置：成果数据库 > 期刊 > 期刊详情页
UML模型的协调性检查
  • 期刊名称：计算机科学. Vol.33 No.9, 262-265
  • 时间：0
  • 相关项目：基于回答集语义的约束逻辑程序设计
同期刊论文项目
基于回答集语义的约束逻辑程序设计
期刊论文 21 会议论文 16
同项目期刊论文
A characterization of answer sets for logic programs
Consistency Property of Finite FC-Normal Logic Programs
基于格的访问控制策略在RBAC中实现的形式化分析
H-KK映像及抽象凸（凹）性
基于整数小波变幻的准无失真图像压缩技术
A polynomial time algorithm for the minimum quartet inconsistency problem with O(n) quartet errors
Quartet based phylogeny reconstruction with answer set programming
Recycling computed answers in rewrite systems for abduction
安全数据库隐蔽通道的标识技术与实例分析
中间逻辑中的良构范式
G3逻辑中的弱合取范式
基于Logic SQL的B2级安全机制的研究与设计
Eletronic Commerce Technology and its Security Problems
An Approach handling Conflicts in Authorization
Unfolding Partiality and Disjunctions in Stable Model Semantics
An Approach for Handling Conflicts in Authorization
一种超图类的全图存在性问题研究
三素元组猜想对于Peano公理组的条件独立性
基于安全标签的访问控制研究与设计
一种快速逃离局部极小点的BP算法