论文部分内容阅读
前件推导是定理证明的一种扩展.本文介绍了前件推导的定义及其形式系统,描述了前件推导的计算机实现,该实现具有如下一些特点:1)主要采用自然演绎途径;2)用一种扩展与/或树表示前件推导问题;3)基本搜索策略是有序深度优先;4)利用启发信息控制搜索.
前件推导及其计算机实现
【摘 要】
：
前件推导是定理证明的一种扩展.本文介绍了前件推导的定义及其形式系统,描述了前件推导的计算机实现,该实现具有如下一些特点:1)主要采用自然演绎途径;2)用一种扩展与/或树表
【机 构】
：
南京大学计算机软件研究所
【出 处】
：
计算机研究与发展
【发表日期】
：
1989年9期
其他文献
利用常规肌肉营养分析方法测定了四倍体泥鳅、二倍体泥鳅和大鳞副泥鳅的肌肉营养成分。结果表明：四倍体泥鳅、二倍体泥鳅和大鳞副泥鳅肌肉中蛋白质含量（鲜重）分别为18．68％、18．69％和
本文主要介绍了江干三大寺之一的梵天寺的概况以及其历史沿革,并从记载的历史文献着手,分析并论述了梵天寺与同时期的上天竺法喜寺悠久的历史渊源和颇具神秘色彩的佛缘。另外
为探索有机氯农药在扩散迁移、水-土界面作用等表生地球化学过程中的组成变化规律,对经济作物基地有机氯农药研究发现：土壤和水介质中17种有机氯农药均有检出,主要污染物为HCH
2009年4月,杭州日报西湖副刊上刊登了题为《南高峰下血园陵》的文章,引起了社会各界的关注。在查阅了大量的相关史料及专家研讨后,证实南高峰血园陵为国民革命军第二十一师北
辛亥革命前,浙江立宪派通过著书立说、组织立宪团体、创办报刊、领导收回利权、保路运动、国会请愿运动等,成为清末浙江宪政舞台上的主角。清廷在立宪运动和浙路风潮中背道而
本文通过分析玉乳洞罗汉造像的艺术风格、开凿过程和现存题刻,指出罗汉造像的具体凿刻年代。同时从历史文献记载、罗汉造型特征以及造像排列布局等几方面入手,最终判定玉乳洞
利用人工构建的模拟河道,研究了静态底泥氧化技术以及动态条件下不同底泥状态对上覆水体的影响。结果表明,污染底泥和上覆水体互相影响,底泥会向上覆水体释放污染物,上覆水体