论文部分内容阅读
证明网络是证明的一种图像处理方式。在范畴语法中,由于证明网络具有便于给出语言句法分析这一特点,因此可以说证明网络是范畴语法中＂句法分析即推导＂这一口号的最佳体现方式之一。为了对证明网络有一个全面的了解,对其大体内容以及在语言处理上的优势做了概述。
证明网络与语言处理
【摘 要】
：
证明网络是证明的一种图像处理方式。在范畴语法中,由于证明网络具有便于给出语言句法分析这一特点,因此可以说证明网络是范畴语法中＂句法分析即推导＂这一口号的最佳体现方式之
【机 构】
：
中国社会科学院哲学研究所,河北师范大学马克思主义学院
【出 处】
：
重庆理工大学学报(社会科学)
【发表日期】
：
2016年9期
其他文献
本文提出了一种基于Android客户端的温室大棚监控系统。该系统以单片机AT89C52为核心，用传感器、光敏电阻对温室的温度、湿度和光照强度进行检测，通过GSM模块实现远程数据传送，
在定罪基础上,免刑是与判刑相对应的刑事责任实现方式。在宽严相济刑事政策指引下,纷繁复杂的危险驾驶罪案、严格有效的行政前置处罚、谦抑节制的刑罚适用理念,是促成危险驾
短暂性脑缺血发作（TIA）是指颈动脉或椎-基底动脉系统短暂性供血不足,导致突然出现一过性局灶性神经功能障碍,症状通常在几分钟内达到高峰,持续5～30 min后完全恢复.最长不超过24
依达拉奉是比较强的抗氧化剂，多项实验证明，其能促进脑梗死患者的肢体障碍功能恢复，能促进患者神经功能的康复且安全性良好。奥扎格雷钠是一种安全高效的血栓素A2（TXA2）抑制剂，其能
在西南大学庆祝组建10周年暨办学110周年之际，重庆市人文社会科学重点研究基地——西南大学逻辑与智能研究中心也迎来了她10周岁的生日。2016年4月16日，“西南大学逻辑与智能研
在新媒体时代,高校思想政治教育者应及时把握新媒体的特点,分析新媒体对高校思想政治教育工作的具体影响,进而提出高校思想政治教育工作的新对策,进一步加强和改进新媒体时代
山姆·谢泼德是当代美国戏剧的先锋派剧作家。他的普利策奖获作品《被埋葬的孩子》是一部以＂被隐藏的丑闻＂为主题的悲剧作品。剧中通过描写人物与居住环境的绝缘、人物心理
国内外学术界对马克思的个人理论进行了深入而广泛的研究。国外学术界在个人与总体、个人需要与个人异化、个人辩证法与个人存在、个人与人道主义等方面的研究多有建树;国内
为进一步探讨人文社会科学研究成果评价标准和体系建设，推动人文社会科学的繁荣发展，由中国人民大学主办的“中国人民大学人文社科成果评价发布论坛暨学术评价与学科建设研讨会
本文主要从三方面分析王立春的《骑扁马的扁人》的思想主题。可以分别归纳为：母爱、童心、自然。并且详细论述作者如何从不同向度表达母爱的主题、童心的主题以及自然的主题的