搜索筛选:
搜索耗时2.8159秒,为你在为你在102,285,761篇论文里面共找到 204 篇相符的论文内容
发布年度:
[期刊论文] 作者：宋方敏,,
来源：计算机科学 年份：2000
美国TIME杂志在1999年出版了专卷介绍20世纪100个最伟大的智者,数学有Kurt Godel,物理有Albert Einstem,后来Einstein列为The person of the 20th century。在计算机科学领域...
[期刊论文] 作者：宋方敏,,
来源：工会信息 年份：2015
党的十八届三中全会提出的全面深化改革总目标，是要“完善和发展中国特色社会主义制度，推进国家治理体系和治理能力现代化”。国家治理体系和治理能力现代化，是对传统管理的超越......
[期刊论文] 作者：宋方敏,,
来源：红旗文稿 年份：2014
党的十八届三中全会以来,在推进全面深化改革过程中,国企改革可以说是难度极大的一项任务。因为国企改革涉及所有制根基,从这个意义上讲,国企改革的结局,将决定中国社会...
[期刊论文] 作者：宋方敏,,
来源：先锋队 年份：2016
习近平总书记在主持中共中央政治局第二十八次集体学习时指出：要立足我国国情和我国发展实践，揭示新特点新规律，提炼和总结我国经济发展实践的规律性成果，把实践经验上升为系统化......
[期刊论文] 作者：宋方敏,,
来源：红旗文稿 年份：2004
党的十九大报告提出:"要完善各类国有资产管理体制,改革国有资本授权经营体制,加快国有经济布局优化、结构调整、战略性重组,促进国有资产保值增值,推动国有资本做强做优...
[期刊论文] 作者：宋方敏,,
来源：红旗文稿 年份：2017
中国的国有企业是国民经济的中流砥柱,是民生幸福与社会发展的重要保障,也是我们党执政兴国的重要支柱和依靠力量。但较长时期以来,国有企业形象建设处于短板状态,尤其是在国...
[期刊论文] 作者：宋方敏,,
来源：武汉船舶职业技术学院学报 年份：2019
激光经纬仪作为精密测量仪器,是目前船厂测定轴系中心线最普遍的光学仪器。但在使用激光经纬仪的过程中,需精确调整激光经纬仪的位置,若通过移动激光经纬仪支架,很难达到理想...
[期刊论文] 作者：宋方敏,,
来源：中外医疗 年份：2009
目的评价丹参加硫酸镁对肝炎恢复期高胆红素血症的治疗作用。方法86例肝炎恢复期高胆红素血症患者,采用丹参加硫酸镁静滴的方法治疗42例,并与常规护肝退黄治疗44例作为对照。...
[期刊论文] 作者：宋方敏,,
来源：政治经济学评论 年份：2017
习近平国有经济思想是中国特色社会主义政治经济学的核心理论,是习近平治国理政思想的重要根基部分,是新常态下中国经济改革和发展的重要指导思想。从研究的角度梳理内容,可...
[期刊论文] 作者：宋方敏,
来源：科学管理研究 年份：1991
【正】 近年,管理科学在我国正朝着多门类普及化的方向发展,但管理基础理论的建设还是一个薄弱环节,即使有一些论著,也多限于国外管理基本原理的介绍,缺少批判、发展和创新。...
[期刊论文] 作者：宋方敏,,
来源：西部大开发 年份：2014
深入推进国企改革,必须深刻理解、严格遵循习近平总书记在2014年人大会议上的两段重要讲话精神.一段是在上海代表团参加审议时讲:“深化国企改革是大文章,国有企业不仅不能削...
[期刊论文] 作者：宋方敏,,
来源：红旗文稿 年份：2016
习近平总书记强调坚持党的领导、加强党的建设,是国有企业的"根"和"魂",这为新形势下国企改革发展提供了根本遵循。能否把强"根"固"魂"落到实处,关系到国企改革的方向和...
[期刊论文] 作者：宋方敏,,
来源：政治经济学评论 年份：2018
所有制不是一个简单的法权意义上的生产资料归谁所有问题,而是生产资料的所有者(占有者)与生产过程中使用生产资料的劳动者之间的经济关系。没有全民所有制性质的国有企业支...
[期刊论文] 作者：宋方敏,
来源：解放军理论学习 年份：2010
目前，总政宣传部组织编写的《军营理论热点怎么看·2010））已经印发全军。该书紧密联系国际国内形势的新变化，围绕12个军队建设发展的重大问题和官兵关注的热点问题，运用党的理......
[期刊论文] 作者：宋方敏,
来源：南京大学学报：自然科学版 年份：1991
本文详细讨论直觉主义类型论中的否定构造,首先列出它的规则,然后证明一些有关否定的性质,最后证明对于直觉主义命题演算的可证命题在直觉主义类型论中可直接构造出其证明。...
[期刊论文] 作者：宋方敏,
来源：南京大学学报：自然科学版 年份：1995
给出表类型的一系列重要性质，如封闭性和分离性，还证明类型Ｎ１和Ｎ可由表类型定义。...
[期刊论文] 作者：宋方敏,
来源：数学年刊：A辑 年份：1994
本文对于添加于Ｍａｒｔｉｎ－Ｌｏｆ类型论的四种新形式判断给出完整的描述。首先列出这些新判断形式的一般规则，然后证明带一前提的假设判断可由这些新型判断替代，最后，重新作出笛卡儿积的消去和相......
[期刊论文] 作者：宋方敏,
来源：数学年刊：A辑 年份：1994
本文推广了不交和运算且给出ｎ个类型不交和的规则借助于它，证明了有穷类型的封闭性和分离性，讨论有究类型的可定义性，证明Ｎｋ可由Ｎ１和ｋ个类型不交和而定义以及Ｎｋ可由Ｎｋ＋１定义。......
[期刊论文] 作者：宋方敏,
来源：经济与管理研究 年份：1986
【正】 “蝙蝠”(国际商标“美佳乐”)电风扇,是南京长江机器制造厂的名牌产品。近年来,曾先后被评为部优、省优,并在第四十届普罗夫迪夫秋季国际博览会上荣获金质奖,实现了...
[期刊论文] 作者：宋方敏,
来源：计算机研究与发展 年份：1989
通常讨论程序的等价性要借助于正确性.本文给出一个逻辑系统直接推导while程序的等价性,而不涉及正确性,此系统的基础是L_(w_1o).我们分解循环语句从而作出刻划等价性的公理,...
相关搜索：
