位置：成果数据库 > 期刊 > 期刊详情页
Makinson一个公开问题的注记
  • 期刊名称：计算机科学
  • 时间：0
  • 页码：217-218
  • 语言：中文
  • 相关项目：可信约束下软件错误诊断与修正框架
作者： 吴茂念|张明义|陈武|沈复兴|
同期刊论文项目
可信约束下软件错误诊断与修正框架
期刊论文 14 会议论文 9
同项目期刊论文
抽象解释理论框架及其应用
Algorithms and application in decision-making for the finest splitting of a set of formulae
An Approach to Generation of Decision Rules Based on a Fuzzy Semi-equivalence Relation
A Logic-Program-Based Negotiation Mechanism
Logic programs, compatibility and forward chaining construction
Computer-aided proofs of Arrow's and other impossibility theorems
基于程序正确性的演算方法
An Approach for Handling Conflicts in Authorization
分层模型在中国信息安全等级保护体系中的借鉴应用
无线网络协议的安全分析与测试
钢坯入库路径优化模型与算法