Three levels of translation into many-sorted logic

来源 :第二届世界泛逻辑大会(2nd World Congress and School on Universal Logic) | 被引量 : 0次 | 上传用户:xiwang452
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
在西子湖畔创建音乐图书馆的张铭,无论如何没有想到自己会与藏区这片奇秘的土地结下不解之缘。从1979年至今,他先后4次进藏采风,对藏民、藏族民歌和雪域高原怀有圣洁的情愫,
目的 通过对外来务工人员进行有关艾滋病的健康教育,根据务工人员的态度、认知等因素对其进行调查与分析.方法 选择人口相对集中固定的场所如汽车制造业和建筑工人,家不在本
目的 探析在急性左心力衰竭患者中应用呼吸护理干预后对其院内呼吸道感染的预防效果.方法 研究资料为本院收治的急性左心力衰竭患者100例,纳入时间为2年(2018年7月至2020年7
会议
  Purpose: To overcome the nonspecific toxicity and immunogenicity of immunotoxins, PE38KDEL was used as a modle protein toxin to prepare PE38KDEL-loaded poly
会议
目的:观察分析在老年腰椎压缩性骨折术后,进行舒适护理对其并发症及满意度影响.方法:抽取我院在2018年1月初至2020年1月初收治的120名老年腰椎压缩性骨折患者,根据患者入院顺
会议
在艺术品市场里,被称为“红色收藏”的“文革”时期的文物是一些收藏家追宠的对象。具有强烈时代感的“文革”时期的照片能卖到多少钱?每张售价600-800美元,随着存量的减少其
目的:探讨双心护理在扩张型心肌病护理中的应用效果.方法:以我院收治的 84 例扩张型心肌病患者为研究对象,将受试者随机分为对照组和研究组两组,每组各 42 例,对照组患者接受
目的 探讨细节护理对急诊休克患者抢救成功率、并发症的影响.方法 样本时间:2018年3月——2020年3月,样本来源:我院急诊科收治的70例休克患者,根据患者急诊抢救先后时间分为