论文部分内容阅读
本文给出了λ-Horn集上的λ-单元锁归结方法,并证明了λ-单元锁归结方法对λ-恒假公式是完备的。
λ—Horn集上的λ—单元锁归结
【摘 要】
：
本文给出了λ-Horn集上的λ-单元锁归结方法,并证明了λ-单元锁归结方法对λ-恒假公式是完备的。
【机 构】
：
吉林大学计算机科学系,吉林大学计算机科学系
【出 处】
：
科学通报
【发表日期】
：
1989年3期
其他文献
【正】近日,国电南瑞北京科东电力控制系统有限责任公司承建的全国统一电力市场交易平台试点工程在安徽、山西、甘肃顺利上线,标志着全国统一电力市场建设迈出了实质性步伐。
本文从重要性、基本原理、影响因素、诊断流程等多个方面,结合实例分析,阐述、探讨了红外诊断技术在电力系统中的应用及其直观性、复杂性。
我的一个OICQ号是66681060,一个自称是宇宙神医的网友对它进行了诊断,结果是:8个鼻孔,5条鼻涕,此QQ患了超级不正常感冒,需要及时抢救,否则将把8个鼻孔烧成1个。
本文报道了一种利用阶梯波电压测量气敏电阻特性的方法，测试结果表明，测试结果表明４，用这种方法不仅可以得到与手动测试同样的结果，而且可以获得工作电流随加热电压瞬变的规律。
社会发展是在区分发达国家和发展中国家的背景下发展成为一种概念一种政策的。 在人类历史的这个时刻,必须要有一套雄心万丈,包罗万有的社会发展设想。 ——摘自社会发展问题世界首脑会议筹备委员会第三届会议临时议程项目3
阐述了用磁控溅射法制作电磁波屏蔽复合材料的工艺过程，对所制作的材料进行了屏蔽性能的测试和理论分析，给出了屏蔽效果与材料结构，膜厚等关系的定量说明。
流水般的校园岁月是短暂的,而那充满温馨的甜美记忆却是永恒的!谨以此文献给我过去的科任老师中最让我难以忘怀的班主任老师!———题记
<正> 哲学是什么?如果将这个似乎简单的问题质之于当代的哲学家,则甭想指望获得一个明确而统一的答案.如果再叩问哲学的命运如何,那回答十有八九更会让人们感到失望乃至沮丧.一百位哲学家有一百种哲学,有一百种关于哲学命运的看法.这种情况,即便不是哲学受到空前冷遇的一个原因,也足以使业已陷入危机之中的哲学雪上加霜了.黑格尔有言,不管什么哲学,都是哲学.他的意思是说凡哲学都有同一共性.我们所处的语境中早就有一堆关于哲学共性的现成的语词:形上学、本体论、认识论、逻辑学、世界观、方法论、人学等等.然而,这