论文部分内容阅读
归结演绎推理是一种在计算机上得到较好实现的基于归结原理的推理技术,介绍归结原理的基本思想以及它在自动推理中的应用。
归结原理及其应用
【摘 要】
：
归结演绎推理是一种在计算机上得到较好实现的基于归结原理的推理技术,介绍归结原理的基本思想以及它在自动推理中的应用。
【机 构】
：
浙江万里学院,空军第一航空学院
【出 处】
：
计算机与数字工程
【发表日期】
：
2007年5期
其他文献
从实现电子商务安全性的基本框架出发,对电子商务中的各种安全技术进行了分析,以探讨一种有效、安全的实现电子商务的途径.