处理逻辑小说明的表达工具

来源 :吉林工学院学报:自然科学版 | 被引量 : 0次 | 上传用户:baalzio
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍描述处理逻辑小说明的三种工具,并对三种工具进行了对比分析
其他文献
西安音乐学院青年音乐考古学家方建军于1991年5月应邀来我院为新开设的音乐考古专业授课,受到我院师生的欢迎.本文就是根据他这次讲课的提纲整理而成的.
数学史与高中数学教学的激情碰撞,为学生的素质教育提供一种有效的教学方式。本文通过对数学史融入高中数学教学现状及相关问题的简要分析,然后探析了针对各个问题的解决途径
新生儿感染性肺炎是新生儿的常见病,也是引起新生儿死亡的重要原因,尤其是重度新生儿肺炎的治疗,目前仍是一难题。我科于2003-01/12在常规治疗基础上加用小分子肝素钙注射液雾化
多元智能为当今学校提出一个全新的教育课题,而民族地区课程中关于学生多元智能的开发,能够适应少数民族促进素质教育发展的需要,更有助于民族地区培养新世纪创新型人才。笔
因注射而发生的晕厥,临床上也称为晕针,此现象多发生于门诊病人在注射时而诱发的一种常见症状。本院自2002-01/2004—12共遇到晕针患者19例,现报告如下。
我国首次提出家务劳动价值补偿制度是在2001年的《婚姻法》第40条,该条文规定:夫妻书面约定婚姻关系存续期间所得的财产归各自所有,一方因抚育子女、照料老人、协助另一方工
据了解,生产微晶玻璃的主要原材料之一碳酸锂曾经出现断货,令微晶玻璃面板企业颇为苦恼。作为电池材料、特种玻璃、陶瓷添加剂及各种锂化合物原料,碳酸锂需求量大,中国本地产能有
我科2000/2004共收治各种癌症患者354例,我们对其心理障碍进行了分析,并采取相应对策予以纠正,取得了一定效果,现报道如下。
本文通过梳理代际社会流动的理论框架,区分了流动数量和质量两个分析维度,描述了其各自的影响因素及意义,强调社会流动不能只看规模和数量,还需要重视能削弱社会不平等的质量
乐高是当今世界上赢利能力最强的公司之一。自20世纪90年代以来,视频游戏和其他电子产品对儿童的吸引力越来越大,许多顶尖玩具制造商因此深陷生存危机。2004年,乐高出现史无