切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
单元归结相关论文
信念非修正原型系统解释器的设计与实现
生活中的知识通常具有不确定性、不一致性和不完全性,这些知识被统称为信念。怎样解决信念间的不一致性是计算机模拟人类推理过程......
学位
信念非修正
单元归结
解释器
子句图
谓词逻辑
基于Horn集的工作流过程执行有效性判断*
为了判定工作流管理系统中过程定义的执行有效性,本文在深入分析工作流过程中基本关系的基础上,给出了一系列将过程定义转化为Horn集......
会议
工作流过程
过程执行
不可满足性
有效性
过程定义
工作流管理系统
输入归结
判定
对应关系
单元归结
证明
基础
规则
分析
方法
看过本文同时还关注
如何写好一篇毕业论文
免费论文查重的方法
从零开始写毕业论文的方法
热心助人的动物
第一届全国脊柱脊髓基础研究及临床...
2004世界科技七大看点
对甘肃省国有企业兼并问题的思考
热心助人的动物
对甘肃省国有企业兼并问题的思考
热心助人的动物