论文部分内容阅读
本文讨论了涵盖和强蕴涵之间的关系,给出并证明了强蕴涵是涵盖的条件,还证明了在广义归结中同时使用涵盖和强蕴涵做为删除策略仍是完备的.更多还原
广义归结中的强蕴涵和涵盖
【摘 要】
：
本文讨论了涵盖和强蕴涵之间的关系,给出并证明了强蕴涵是涵盖的条件,还证明了在广义归结中同时使用涵盖和强蕴涵做为删除策略仍是完备的.更多还原
【机 构】
：
吉林大学计算机科学系长春130023
【出 处】
：
吉林大学自然科学学报
【发表日期】
：
1993年2期
【基金项目】
：
国家自然科学基金,国家教委博士点基金,863计划,国家攀登计划资助课题
其他文献
信息科技的发展和互联网的崛起带动了电子产品的增长,电子元器件的需求呈逐年上升趋势,作为电子元器件三大支柱之一的存储器芯片发展势头迅猛。成立于台湾新竹的旺宏公司主营
信息技术的不断创新带来了媒体格局的巨大变化,移动互联网的快速发展和智能手机的日益普及既让民众的日常生活产生了很大转变,又影响了传统的媒体形式,同时,带来了广告业的巨大变革。随着网络广告市场的迅速扩张,信息流广告等形式应运而生。信息流广告是根据社会群体的属性,基于用户偏好和特征智能地提升推广水平的一种广告形式。它通过分享和评论实施二次传播,其主要表现形式是以自然的方式将信息渗透并整合到用户朋友的动态
<正> 由轻工部上海轻工设计院设计,我省象山食品设备制造厂试制成功的,我国第一台超高温瞬时灭菌机,已于今年二月由省科委委托宁波地区科委主持通过鉴定。超高温瞬时灭菌机是
期刊
8 月8 日上午,雅居乐雅生活服务股份有限公司(股票代码:03319. HK,以下简称“ 雅生活”)在香港发布2019 年中期业绩。雅生活集团董事长兼总裁黄奉潮,副总裁冯欣,首席财务官兼
电子期刊发展至今已有10多年的历史,而近年来由于网络电子期刊的兴起,电子期刊编目与传统的印刷型期刊的不同引起编目人员思考.本文将就网络电子期刊编目的一些问题进行探讨.
时代邻里集团，是一家集物业服务、楼宇智能、金融运营、产品研发为一体的科技型、综合型的社区综合服务运营集团。旗下拥有4家专业子公司：广州市时代物业管理公司（专营物业服务）
党的十九大报告明确指出,要注重强化“社会责任意识、规则意识、奉献意识。”习总书记站在新的历史方位中为“社会责任意识”赋予了新的时代内涵。新时代大学生社会责任意识
近年来,民办义务教育得到飞速发展,发展模式也越来越多元化。“名校办民校”是民办学校发展过程中的重要形式,起着优化教育资源,提升教学质量的重要作用。关注义务教育阶段“名校办民校”的发展,对鼓励、支持和引导优质民办教育的持续健康发展具有重要的意义。本文从民办教育出发,聚焦“名校办民校”的民办教育模式,研究分析国内外“名校办民校”的现状和“名校办民校”特色办学的理论依据。以X学校为“名校办民校”的案例,
党的十九大指出,“要加强思想道德建设,推进诚信建设和志愿服务制度化,强化社会责任意识、规则意识、奉献意识.”作为物业服务企业而言,加强诚信建设,是企业可持续健康发展的