论文部分内容阅读
Modal semantics for second-order logic
【机 构】
：
UniversityofAmsterdam-TheNetherlands
【出 处】
：
第二届世界泛逻辑大会(2nd World Congress and School on Universal Logic)
【发表日期】
：
2007年8期
其他文献
Equivalent Deterministic and Indeterministic Semantics for Basic Paralogics and an Easy Semantic App
会议
目的:分析手术室护理自查模式干预对患者转运交接质量和效果的影响.方法:选取 2019 年 3 月至 2019 年 12 月我院所收治的 60 例手术治疗患者作为本次研究的实验对象,根据护
The ultimate aim of developing a novel expandable gastroretentive drug delivery system was to synergy the swelling index of swellable polymers with combinat
会议
目的 探讨西洛他唑联合前列腺素E1对早期2型糖尿病肾病的治疗效果.方法 选取2019年4月-2020年3月我院收治80例患者,按照随机法将80例患者分为两组.单独使用西洛他唑40例患者
目的 分析对初产妇采取以多媒体为载体的健康教育模式对其母乳喂养自我效能的影响.方法 选取2018年2月至2019年12月我院收治的268例初产妇作为研究对象,根据抽签法进行分组,