一门独立的新学科—定理机器证明

来源 :锦州工学院学报 | 被引量 : 0次 | 上传用户:yuhuafenghao
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
【摘 要】随着全球投资环境的改善,进入我国的外商直接投资额不断提高。文章以近20年来的相关经济数据为基础,建立模型分析FDI对我国技术进步的贡献,发现FDI的资金主要集中用于劳动力密集型产业,资本密集型产业中对FDI资金的使用率较低,据此提出增强FDI以推动我国技术进步的相应建议。  【关键词】外商直接投资;技术进步;全要素生产率  【中图分类号】F832.6;F124.3【文献标识码】A 【文章
本文从高校核心竞争力的培育要以体制的独立性为出发点,并在此基础上提出了高校学术独立和精神思想独立三位一体的运作模式,分析了体制的独立性、包容性与核心竞争力的关系,提出
地处高寒山区的云南省景东县锦屏镇黄草岭村,位于无量山自然保护区腹地,全村有176户636人,是全县唯一一个不能种水稻的地方。为拓宽群众的增收渠道,村'两委'积极动员
气候异常、病虫害突发等,都会对农业生产产生极大的影响。为改变群众'靠天吃饭'的问题,降低灾害带来的损失,从2006年开始,云南试点开展农业保险。经过十多年的发展,
读了著名社会学家、教育家潘光旦先生的文集《寻求中国人位育之道》深受启发,于是我想借用“位育”一词去思索中国的学校德育。“位”是地位、顺应之意,“育”有发展、超越之境
【摘 要】在网络信息技术不断发展过程中,我国商业领域、国际贸易领域中也在广泛地应用信息技术,我们也步入了一个信息化网络时代。身处在信息化网络时代背景之下,电子商务平台竞争及商业模式也发生了较为显著的变化。为了更好地促进我国电子商务的发展,文章基于时空视角对电子商务平台竞争及商业模式进行研究。  【关键词】时空视角;电子商务平台;竞争;商业模式  【中图分类号】F724.6;F274【文献标识码】A
暖暖冬日,走进云南省永善县白胜村四方碑种植专业合作社,只见几名妇女正有说有笑地采摘果园里黄灿灿的脐橙。然而,十年前的白胜村因土地贫瘠、水源不足,村民生活过得很艰难。
近年来,云南积极试点和推广农业保险,如今无论是在政策性保险的普及面上,还是商业性保险险种的数量上,云南农业保险都走在全国前列,为云南农业发展撑起了一把'保护伞&#39
云南省药品监督管理局通过设置'农村便民药柜',打通农村药品供应'最后一公里'。截至目前,全省已设置'农村便民药柜'1219个,有13个州(市)相继开展试
期刊