论文部分内容阅读
本文把广义RUE-NRF归结对E不可满足子句集是完备的推广到了配锁的广义子句集上.
广义 RUE—NRF归结的配锁
【摘 要】
：
本文把广义RUE-NRF归结对E不可满足子句集是完备的推广到了配锁的广义子句集上.
【机 构】
：
吉林大学计算机科学系,吉林大学计算机科学系长春130023,长春130023
【出 处】
：
吉林大学自然科学学报
【发表日期】
：
1993年2期
【基金项目】
：
国家自然科学基金,国家教委博士点基金,863计划,国家攀登计划项目资助课题
其他文献
用复杂晶体化学键理论计算稀土三氟化物ＲＦ３晶体的结构参数和化学键参数，探讨其微观组成和结构与极化率和介电常数的关系。
2009年实行自主命题以来,福建省化学学科命题思想与国家卷保持一致.但福建卷与全国卷在试卷结构、考查内容和能力要求方面还是稍有差异的.全国卷提高了模块的选择性,对思维能
“咚,咚,咚。”我迈着“雄劲”的步子冲上了楼。“我回来了!”进门便是一声大叫。厨房里的妈妈无可奈何地摇摇头说:“唉,说了多少遍,脚步轻一点,声音小一点,你这样,哪像个女
5月25日，京东集团正式启动618购物季。京东提供的资料显示，今年618除了有线上的各大电商平台参与，还有来自全球的数十万品牌商和店铺、全国几万家线下门店和加入京东开普勒计划
用自制的半导体激光器、放大器与单模、多模光纤进行了金属耦合及封装。测得带尾纤的激光放大器净增益为14dB～18dB。
小学语文教学中学生创新能力的培养是一项十分重要的课题，如何在小学语文教学中加强对学生创新能力的培养是小学教学工作者所要面对的共同话题。本文对于学生创新能力的培养的
新的课程改革大力倡导小组合作学习,以学生为主体,充分调动学生的积极性,同学之间相互探讨、帮助,培养其学生学习的主动性,但需注意,小组合作学习容易使一些学生依赖于同学的
众所周知，智力不是唯一影响学生成绩的因素。在一个班集体中，大部分同学的智力处于正常的水平，或者有极个别同学智力超群，也可能有极个别同学的智力达不到平均水平。但是，智力并非
CT在木质材料无损检测中应用日趋广泛，其密度检测是这一应用的关键技术之一。本文用CT对木材、竹材气干材密度进行了研究。通过分析气干材密度（O．3031．061g·cm^-3）与相应CT值
在学生学习语文课程的整个过程中，作文不仅占据了不可小觑的地位，更能在某种程度上反映出学生语文素质。基于这一原因，为了不断提升语文教学水平，教学者应给予学生写作能力一定的