原创力文档- 8
- 0
- 约6.89万字
- 约 8页
- 2019-04-14 发布于天津
- 举报
第卷第期计算机工程年月文献标识码文献标识码文献标识码文献标识码中图分类号中图分类号文章编号文章编号中图分类号中图分类号开发研究与工程应用开发研究与工程应用文章编号文章编号开发研究与工程应用开发研究与工程应用描述逻辑描述逻辑的的一致性判定算法一致性判定算法描述逻辑描述逻辑的的一致性判定算法一致性判定算法彭彭立立杨恒伏杨恒伏彭彭立立杨恒伏杨恒伏湖南第一师范学院信息科学与工程系长沙摘摘要要为判定描述逻辑的一致性提出一种算法给定和角色层次通过预处理将摘摘要要转换成标准的按照特定的完整策略将一套规则应用于
第 39 卷 第 12 期 计 算 机 工 程 2013 年 12 月
Computer Engineering
文档评论（0）