论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
本文给出了模态子句集的标准子句集概念，提出了一种基于标准子句集的模态归结方法的变型，称之为标准模态归结，证明了任意模态子句集恒假当且仅当存在从它的标准子句集出发，使用标
【机 构】
：
吉林大学计算机科学系
【出 处】
：
计算机学报
【发表日期】
：
1994年9期
【基金项目】
：
国家自然科学基金,博士点基金,863计划国家攀登计划项目资助
其他文献
9月25—26日．全国畜牧技术推广体系建设高级研讨会议在山东临沂召开。全国各省、直辖市畜牧站的负责同志共60余人参加了会议。全国畜牧总站党委书记何新天主持会议．全国畜牧总
腊梅吐芬芳，冬尽春将至。1月15—16日，2010年铁骑力士集团战略发展论坛暨核心客户年会在四川省绵阳市新落成的总部学术报告厅隆重举行。农业部畜牧业司副司长王宗礼．四川省畜牧
本文给出了一种处理占位型空值的简化方法，解决了空值环境下关系数据库的查询问题，针对不同的空值语义语义特点和查询中的作用，定义了三种不同的操作。ＤＥＦＩＮＩＴＥ，ＥＸＩＳＴ，ＭＡＹＢＥ。同时，给出了含有这三种操
文献［１］基于有效（受控）可重复向量，给出了判定一个标准Ｐｅｔｒｉ网产生的语言分别为正规语言或上下文无关语言的充要条件，然而，求取一个标准Ｐｅｔｒｉ网的有效（受控）可重复向量是着定网语言属型的前提条件
布尔函数的线路复杂下界问题与Ｐ＝？ＮＰ问题有密切关系，若证明了ＮＰ中某问题的线路复杂度是非多项式的，则Ｐ≠ＮＰ。但证明了一个具体的布尔函数具有非线性的线路复杂度下界却是计算复杂性理论中
目的伤口封闭负压引流的技术运用于骨外露的治疗。方法利用武汉VSD公司的产品治疗骨外露患者20例。结果所有骨外露都被肉芽覆盖,肉芽新鲜,质量高。结论VSD封闭创面负压治疗骨
2010年9月中旬．美元受到一系列因素影响持续走软．导致大宗商品逐步上涨。10月8日美国农业部发布的10月度供需报告．全面调低2010／11年度农产品产量、库存等相关数据，形成全球豆类期
在家禽典型日粮中蛋氨酸通常是第一限制性氨基酸。通过添加商品蛋氨酸可以简单快速地平衡氨基酸水平。目前，市场上有两种商业来源的蛋氨酸．一种是含量为99％以上的DL-蛋氨酸（DL—M
目的探讨硝苯地平缓释片在高血压病治疗中的临床效果。方法回顾性分析我院收治的248例高血压患者,随机分为治疗组和对照组,治疗组124例采用常规与硝苯地平缓释片联合治疗,对
函数式面向对象程序设计语言ＦＯＰＬ是笔者设计并实现的一种合成语言，本文在一个全称的抽象域上描述了ＦＯＰＬ语言的指称语义。