全文获取类型
收费全文 | 553篇 |
免费 | 10篇 |
国内免费 | 28篇 |
专业分类
系统科学 | 8篇 |
丛书文集 | 29篇 |
教育与普及 | 24篇 |
理论与方法论 | 8篇 |
现状及发展 | 2篇 |
综合类 | 520篇 |
出版年
2024年 | 1篇 |
2023年 | 6篇 |
2022年 | 11篇 |
2021年 | 9篇 |
2020年 | 9篇 |
2019年 | 7篇 |
2018年 | 10篇 |
2017年 | 5篇 |
2016年 | 7篇 |
2015年 | 10篇 |
2014年 | 22篇 |
2013年 | 18篇 |
2012年 | 27篇 |
2011年 | 24篇 |
2010年 | 23篇 |
2009年 | 48篇 |
2008年 | 32篇 |
2007年 | 22篇 |
2006年 | 18篇 |
2005年 | 24篇 |
2004年 | 23篇 |
2003年 | 20篇 |
2002年 | 16篇 |
2001年 | 20篇 |
2000年 | 17篇 |
1999年 | 11篇 |
1998年 | 17篇 |
1997年 | 10篇 |
1996年 | 21篇 |
1995年 | 14篇 |
1994年 | 11篇 |
1993年 | 24篇 |
1992年 | 9篇 |
1991年 | 10篇 |
1990年 | 9篇 |
1989年 | 16篇 |
1988年 | 3篇 |
1987年 | 4篇 |
1986年 | 2篇 |
1985年 | 1篇 |
排序方式: 共有591条查询结果,搜索用时 250 毫秒
42.
(0,1)上的所有区间数作为一个结合算子格L1,本文在此格上建立了一种新的模糊逻辑系统IOFL,讨论了该逻辑系统的一些性质,范式表示及λ-归结等问题。 相似文献
43.
李大法 《清华大学学报(自然科学版)》1985,(2)
L. Henschen证明了语义归结对 Horn集是完备的[1]。但是语义归结不是正单元归结。本文的主要结果是不可满足的Horn子句集合S有这样一个反驳,对于这个反驳的每一个归结来说,或者一个祖先子句是正单元,而且该正单元在 I上是假的;或者一个祖先子句是正单元,而且从另一个祖先子句和这个归结式中删去他们的正义字后剩下的子句在 I上都是假的.其中 I是 S的任何一个解释。 相似文献
44.
本文提出的24通道光路模型使 OTLIEB 模型得到了改善.由于本模型具有通道阻塞自锁功能,因而完全排除了课表编排过程中一切可能出现的冲突. 相似文献
45.
46.
47.
48.
49.
50.