全文获取类型
收费全文 | 316篇 |
免费 | 9篇 |
国内免费 | 14篇 |
专业分类
系统科学 | 4篇 |
丛书文集 | 17篇 |
教育与普及 | 15篇 |
理论与方法论 | 3篇 |
现状及发展 | 4篇 |
综合类 | 296篇 |
出版年
2015年 | 1篇 |
2014年 | 3篇 |
2013年 | 7篇 |
2012年 | 6篇 |
2011年 | 9篇 |
2010年 | 16篇 |
2009年 | 14篇 |
2008年 | 17篇 |
2007年 | 6篇 |
2006年 | 3篇 |
2005年 | 17篇 |
2004年 | 19篇 |
2003年 | 24篇 |
2002年 | 22篇 |
2001年 | 24篇 |
2000年 | 16篇 |
1999年 | 11篇 |
1998年 | 15篇 |
1997年 | 14篇 |
1996年 | 27篇 |
1995年 | 15篇 |
1994年 | 8篇 |
1993年 | 4篇 |
1992年 | 5篇 |
1991年 | 20篇 |
1990年 | 9篇 |
1989年 | 6篇 |
1986年 | 1篇 |
排序方式: 共有339条查询结果,搜索用时 875 毫秒
191.
本文以系统论为视角,通过对法律形式主义者和德沃金的法律完全性命题及其背后的理论模型的考察,揭示出,基于哥德尔的不完全性定理,建立在逻辑形式系统模型之上的法律完全性主张不能成立;相反,若以社会系统为模型重新审视德沃金的法律完全性命题,则该命题的成立是可以得到保证的。而由形式系统向社会系统的模型转换,则为法律完全性命题的可能性论证提供了一个新的路径。 相似文献
192.
在深入研究完全rpp半群和C-wrpp的基础上,定义了完全wrpp半群,得到了完全wrpp半群的一些重要性质,即在完全wrpp半群中定义了一类关系η,证明了关系η是S上的同余,在此基础上,证明了Λ**-关系在商半群S/η中是遗传的. 相似文献
193.
探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价. 相似文献
194.
设E是有限群G的正规子群使得G/E为p-超可解群,P是E的正规的Sylowp-子群,其中p为一奇素数,如果P存在一个子群D满足以下性质:1〈︱D︱〈︱P︱,对于任意的H≤P,︱H︱=︱D︱,H在G中正规,则G为p-超可解群. 相似文献
195.
绥*油田位于渤海辽东湾海域辽西低凸起中段,历经十余年的开发,逐渐暴露出层间矛盾显著、注入水单层突进现象明显等问题。为充分动用地质储量。加快采油速度、提高最终采收率,有必要对其进行综合调整。在调整方案研究中,动静态结合,对剩余油分布进行充分研究并对不同加密形式等方案进行了大量的对比论证。 相似文献
196.
证明了具有性质RR(A)=0的不可分素,C^*-代数是本原C^*-代数。 相似文献
197.
于景伟 《牡丹江师范学院学报(自然科学版)》2003,(2):21-23
介绍了解决八数码问题的一种基于图搜索的启发式搜索算法——A*算法,并给出了用PASCAL实现的八数码问题的程序。 相似文献
198.
199.
谭立云 《石油大学学报(自然科学版)》2002,26(1):105-107
证明了G(α)与S^*[1 α/2]的同胚关系,解决了星形函数族和凸函数族的相邻系数差的模估计,较大地提高了计算精度。 相似文献
200.
沈荣鑫 《苏州大学学报(医学版)》2005,21(3):92-94
证明了次仿紧映射逆保持1(1^*)-次仿紧性;作为应用我们证明了闭Lindelof正则映射逆保持1(1^*)-次仿紧性(不需要原象空间和原象空间是正则的). 相似文献