论文部分内容阅读
本文介绍了ｃｏｎｔｅｘｔ研究的现状，定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ，定义并证明了与相关的一些概念和定理。
一个多层的context逻辑
【摘 要】
：
本文介绍了ｃｏｎｔｅｘｔ研究的现状，定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ，定义并证明了与相关的一些概念和定理。
【机 构】
：
国防科学技术大学计算机系
【出 处】
：
国防科技大学学报
【发表日期】
：
1996年3期
其他文献
1922年晏阳初在长沙实验平民教育,通过开办平民学校,招收失学者进行识字教育,推广平民识字运动。在4个月内完成学业的学生几近千人,并在此基础上产生了长沙平民教育促进会。
<正> 土木工程是建造各类工程设施的科学技术的统称。它既指所应用的材料、设备和所进行的勘测、设计、施工、保养和维修等技术活动,也指工程建设的对象,即建造在地上或地下
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
鼻腔及鼻窦恶性肿瘤比较常见,占耳鼻咽喉恶性肿瘤的21.74%～49.22%,而鼻窦恶性肿瘤又以上颌窦癌较多见。上颌窦癌的治疗方法目前公认以手术切除为主的综合治疗预后最佳,而上颌
弱ＣＯ２激光能量的输出及控制是ＣＯ２激光冠脉搭桥术的核心技术之一。本文介绍了一种利用用普通医用ＣＯ２激光器获得弱激光能量输出的技术与方法，该方法具有激光输出功率稳定，并可调，输出光斑上
本文用解析分析的方法分析了等离子体粒子模拟中的有限大小粒子、电荷近网格分配和时间差分方法引起的相对于等离子体静电波色散关系的偏离,导出了修正后的色散关系。文中设
本文用无水AlCl_3和(Ph_3P)_2PdCl_2二种催化剂催化苯乙炔聚合,得到共轭聚合物聚苯乙炔(PPA)。对PPA 的微结构分析表明:用无水AlCl_3催化苯乙炔,得到顺-反式PPA;用(Ph_3P)_2P
【正】 赵紫阳总理最近指出:“我国工业面临着一场严重的挑战,面临一个如何提高素质的新的转变。”(引自1983年10月20日“人民日报》)那么,什么是工业企业素质,为什么要提出
目的:通过总结近年我国护理学界报道很多相关护理技术和护理经验,提出昏迷患者护理相关建议。方法:通过计算机检索中国学术论文文献,进行分析阅读。结果:根据文献纳入标准和