论文部分内容阅读
讨论了一种方法用于在处理γ子式前先对δ子式进行处理，减少了后期执行的工作量，简化了自动推演程序，并对其在理论上进行了证明，同时也得到了对一阶逻辑公式进行范式转换的方法．
一阶逻辑公式自动推演前的预处理
【摘 要】
：
讨论了一种方法用于在处理γ子式前先对δ子式进行处理，减少了后期执行的工作量，简化了自动推演程序，并对其在理论上进行了证明，同时也得到了对一阶逻辑公式进行范式转换的方法．
【机 构】
：
苏州大学计算机科学与技术学院
【出 处】
：
苏州大学学报(自然科学版)
【发表日期】
：
2009年2期
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
研究乙肝病毒与胃十二指肠粘膜病变及血清ＨＢＶＭ的关系。方法应用ＨＥ染色、ＳＰ免疫组化法检测６３例乙肝病人胃十二指肠粘膜的ＨＢｓＡｇ、ＨＢｃＡｇ；应用酶标法检测其血清ＨＢｓＡｇ、ＨＢｃＡｇ，地高辛探针法检测ＨＢＶ－ＤＮＡ。
地幔对流是地球深部物质运动的重要形式之一,对板块构造起着重要作用。为解决其机制,地质学家们提出了一系列模式,本文对多种地幔对流模式进行分析论述。但关于地幔对流机理
Rea磁导线公司主要产品是铜磁导线。产品质量在很大程度上取决于裸线的表面质量。影响表面质量的因素有线坯质量、拉伸模、拉伸设备或操作水平等,其中拉伸润滑剂起着重要的
目的观察和评价分析中医辩证治疗糖尿病合并高血压的临床疗效。方法选取2012年6月—2014年6月该院收治的将64例糖尿病合并高血压患者,随机分成两组,治疗组与对照组各32例,对
<正> 计算机在会计工作领域的广泛运用改变了财务资料的处理和存储,并可能影响这个单位为达到适当的内部控制而采用的组织和程序。在一个电子数据处理的环境下进行审计时,审
在应用Dijkstra算法的前提上，建立一个适用于城市交通路况综合评测的路网模型．结合该模型，对Dijkstra算法进行改进，提出了一种中心型路径诱导算法，并应用到停车诱导系统中．将该算法