全文获取类型
收费全文 | 26333篇 |
免费 | 355篇 |
国内免费 | 5篇 |
出版年
2024年 | 11篇 |
2023年 | 79篇 |
2022年 | 96篇 |
2021年 | 130篇 |
2020年 | 166篇 |
2019年 | 173篇 |
2018年 | 3683篇 |
2017年 | 3027篇 |
2016年 | 2457篇 |
2015年 | 367篇 |
2014年 | 284篇 |
2013年 | 976篇 |
2012年 | 1019篇 |
2011年 | 2792篇 |
2010年 | 2750篇 |
2009年 | 1638篇 |
2008年 | 2029篇 |
2007年 | 2445篇 |
2006年 | 325篇 |
2005年 | 446篇 |
2004年 | 320篇 |
2003年 | 268篇 |
2002年 | 206篇 |
2001年 | 94篇 |
2000年 | 145篇 |
1999年 | 71篇 |
1998年 | 60篇 |
1997年 | 41篇 |
1996年 | 47篇 |
1995年 | 26篇 |
1994年 | 21篇 |
1993年 | 21篇 |
1992年 | 36篇 |
1991年 | 34篇 |
1990年 | 34篇 |
1989年 | 31篇 |
1988年 | 31篇 |
1987年 | 22篇 |
1986年 | 15篇 |
1985年 | 15篇 |
1984年 | 22篇 |
1983年 | 17篇 |
1979年 | 20篇 |
1978年 | 14篇 |
1976年 | 18篇 |
1974年 | 15篇 |
1973年 | 11篇 |
1972年 | 11篇 |
1970年 | 11篇 |
1968年 | 13篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
81.
82.
Jörg R. J. Schirra 《Kognitionswissenschaft》1997,6(4):177-195
How can we explain that an assertion on something perceived can be understood in the same manner by somebody who cannot perceive that scene? This problem bases the interest in computational linguistics in how listener modeling could possibly be harmonized with reference semantics. Mental images substituting real perception appear as a way out. The architecture of the listener model has to be adapted to the creation and use of such pictorial data structures. Furthermore, the relation between the latter and a verbal (i. e., propositional) representation must be understood. The resulting architecture of a listener model with reference semantics can be employed to solve communicational problems from three general classes in a better way, as is demonstrated by an example implementation. 相似文献
83.
Three studies describe the development and initial validation of the Gender Attitude Inventory (GAI), a structured inventory that assesses attitudes toward the multiple objects that organize college students' thoughts and feelings about sex and gender. An intergroup relations perspective was used to specify the universe of gender-related targets and to construct a preliminary instrument. Factor analyses of the results of two sequential studies yielded a 109-item inventory with 14 content-specific attitude areas and three second-order factors. In Study 3 GAI scales were shown to have acceptable internal consistency and temporal stability, as well as convergent and discriminant validity. In terms of race/ethnicity, most respondents were white (ranging from 69% to 82% across the three studies). 相似文献
84.
85.
86.
87.
88.
89.
Zellini (1979, Theorem 3.1) has shown how to decompose an arbitrary symmetric matrix of ordern ×n as a linear combination of 1/2n(n+1) fixed rank one matrices, thus constructing an explicit tensor basis for the set of symmetricn ×n matrices. Zellini's decomposition is based on properties of persymmetric matrices. In the present paper, a simplified tensor basis is given, by showing that a symmetric matrix can also be decomposed in terms of 1/2n(n+1) fixed binary matrices of rank one. The decomposition implies that ann ×n ×p array consisting ofp symmetricn ×n slabs has maximal rank 1/2n(n+1). Likewise, an unconstrained INDSCAL (symmetric CANDECOMP/PARAFAC) decomposition of such an array will yield a perfect fit in 1/2n(n+1) dimensions. When the fitting only pertains to the off-diagonal elements of the symmetric matrices, as is the case in a version of PARAFAC where communalities are involved, the maximal number of dimensions can be further reduced to 1/2n(n–1). However, when the saliences in INDSCAL are constrained to be nonnegative, the tensor basis result does not apply. In fact, it is shown that in this case the number of dimensions needed can be as large asp, the number of matrices analyzed. 相似文献
90.
Rajeev Goré 《Studia Logica》1994,53(3):433-457
We present sound, (weakly) complete and cut-free tableau systems for the propositional normal modal logicsS4.3, S4.3.1 andS4.14. When the modality is given a temporal interpretation, these logics respectively model time as a linear dense sequence of points; as a linear discrete sequence of points; and as a branching tree where each branch is a linear discrete sequence of points.Although cut-free, the last two systems do not possess the subformula property. But for any given finite set of formulaeX the superformulae involved are always bounded by a finite set of formulaeX*
L depending only onX and the logicL. Thus each system gives a nondeterministic decision procedure for the logic in question. The completeness proofs yield deterministic decision procedures for each logic because each proof is constructive.Each tableau system has a cut-free sequent analogue proving that Gentzen's cut-elimination theorem holds for these latter systems. The techniques are due to Hintikka and Rautenberg.Presented byDov M. Gabbay 相似文献