位置：成果数据库 > 期刊 > 期刊详情页
Horn style deduction relation
  • 期刊名称：Science in China
  • 时间：0
  • 页码：1998,vol.41,No.3,280-287
  • 语言：英文
  • 相关项目：软件生产自动化中的新理论和新方法研究
作者： Zhang Yuping|
同期刊论文项目
软件生产自动化中的新理论和新方法研究
期刊论文 28
同项目期刊论文
A Logical Framework for Knowledge Base Maintenance
扩充逻辑程序设计的R-演算——知识库维护的操作方法
Horn型推导关系
对象语义约束检验系统的设计与实现
OOAnalysis 的设计和实现
An Operational Approach to Belief Revision
知识库维护过程中检查其协调性的有效方法
Characterization of SAT Instances
A hopeful CNF-SAT algorithm-Its high efficiency,industrial applications and limitation
多媒体应用开发环境SuperAuthor
R-Calculus:A Logical Approach for Knowledge Base Maintenance
A Mathematic-physical approach to the satisfability problem
A Physical Model for the Satisfability Problem
维护的证明论系统
描述认识进程的抽象逻辑
对象行为约束的描述和推理
Expriental Study on Strategy of Combining SAT Algorthms
一个维护知识库的软件agent互操作系统