全文获取类型
收费全文 | 132篇 |
免费 | 3篇 |
出版年
2021年 | 3篇 |
2020年 | 2篇 |
2019年 | 2篇 |
2018年 | 6篇 |
2017年 | 2篇 |
2016年 | 2篇 |
2013年 | 11篇 |
2011年 | 7篇 |
2010年 | 4篇 |
2009年 | 7篇 |
2007年 | 3篇 |
2006年 | 2篇 |
2005年 | 5篇 |
2004年 | 4篇 |
2003年 | 2篇 |
2002年 | 4篇 |
1999年 | 1篇 |
1998年 | 1篇 |
1997年 | 1篇 |
1996年 | 2篇 |
1995年 | 4篇 |
1994年 | 4篇 |
1993年 | 1篇 |
1992年 | 1篇 |
1991年 | 2篇 |
1990年 | 3篇 |
1989年 | 2篇 |
1988年 | 1篇 |
1987年 | 1篇 |
1986年 | 4篇 |
1985年 | 4篇 |
1984年 | 3篇 |
1982年 | 2篇 |
1981年 | 2篇 |
1978年 | 2篇 |
1976年 | 2篇 |
1975年 | 1篇 |
1974年 | 1篇 |
1973年 | 1篇 |
1972年 | 1篇 |
1971年 | 1篇 |
1968年 | 1篇 |
1967年 | 2篇 |
1962年 | 2篇 |
1961年 | 2篇 |
1960年 | 1篇 |
1958年 | 1篇 |
1956年 | 2篇 |
1955年 | 1篇 |
1949年 | 1篇 |
排序方式: 共有135条查询结果,搜索用时 15 毫秒
11.
Grammar logics were introduced by Fariñas del Cerro and Penttonen in 1988 and have been widely studied. In this paper we consider regular grammar logics with converse (REG c logics) and present sound and complete tableau calculi for the general satisfiability problem of REG c logics and the problem of checking consistency of an ABox w.r.t. a TBox in a REG c logic. Using our calculi we develop ExpTime (optimal) tableau decision procedures for the mentioned problems, to which various optimization techniques can be applied. We also prove a new result that the data complexity of the instance checking problem in REG c logics is coNP-complete. 相似文献
12.
13.
14.
Dariusz Zapała Emilia Zabielska-Mendyk Andrzej Cudo Agnieszka Krzysztofiak Paweł Augustynowicz Piotr Francuz 《Journal of motor behavior》2013,45(4):312-318
The authors’ aim was to examine whether short-term kinesthetic training affects the level of sensorimotor rhythm (SMR) in different frequency band: alpha (8–12 Hz), lower beta (12.5–16 Hz) and beta (16.5–20 Hz) during the execution of a motor imagery task of closing and opening the right and the left hand by experts (jugglers, practicing similar exercises on an everyday basis) and amateurs (individuals not practicing any sports). It was found that the performance of short kinesthetic training increases the power of alpha rhythm when executing imagery tasks only in the group of amateurs. Therefore, kinesthetic training may be successfully used as a method increasing the vividness of motor imagery, for example, in tasks involving the control of brain–computer interfaces based on SMR. 相似文献
15.
The method of Socratic proofs (SP-method) simulates the solving of logical problem by pure questioning. An outcome of an application of the SP-method is a sequence of questions, called a Socratic transformation. Our aim is to give a method of translation of Socratic transformations into trees. We address this issue both conceptually and by providing certain algorithms. We show that the trees which correspond to successful Socratic transformations—that is, to Socratic proofs—may be regarded, after a slight modification, as Gentzen-style proofs. Thus proof-search for some Gentzen-style calculi can be performed by means of the SP-method. At the same time the method seems promising as a foundation for automated deduction. 相似文献
16.
Michal Bilewicz Mikołaj Winiewski Mirosław Kofta Adrian Wójcik 《Political psychology》2013,34(6):821-839
The harmfulness of anti‐Semitic beliefs is widely discussed in current political and legal debates (e.g., Cutler v. Dorn). At the same time, empirical studies of the psychological consequences of such beliefs are scarce. The present research is an attempt to explore the structure of contemporary anti‐Semitic beliefs in Poland—and to evaluate their predictive role in discriminatory intentions and behavior targeting Jews. Another aim was to determine dispositional, situational, and identity correlates of different forms of anti‐Semitic beliefs and behavior. Study 1, performed on a nation‐wide representative sample of Polish adults (N = 979), suggests a three‐factorial structure of anti‐Semitic beliefs, consisting of: (1) belief in Jewish conspiracy, (2) traditional religious anti‐Judaic beliefs, and (3) secondary anti‐Semitic beliefs, focusing on Holocaust commemoration. Of these three beliefs, belief in Jewish conspiracy was the closest antecedent of anti‐Semitic behavioral intentions. Study 2 (N = 600 Internet users in Poland) confirmed the three‐factor structure of anti‐Semitic beliefs and proved that these beliefs explain actual behavior toward Jews in monetary donations. Both studies show that anti‐Semitic beliefs are related to authoritarian personality characteristics, victimhood‐based social identity, and relative deprivation. 相似文献
17.
Musically trained listeners compared a notated melody presented visually and a comparison melody presented auditorily, and judged whether they were exactly the same or not, with respect to relative pitch. Listeners who had absolute pitch showed the poorest performance for melodies transposed to different pitch levels from the notated melodies, whereas they exhibited the highest performance for untransposed melodies. By comparison, the performance of melody recognition by listeners who did not have absolute pitch was not influenced by the actual pitch level at which melodies were played. These results suggest that absolute-pitch listeners tend to rely on absolute pitch even in recognizing transposed melodies, for which the absolute-pitch strategy is not useful. 相似文献
18.
The concept of search scenario is explicated in terms of erotetic logic, i.e., the logic of questions. Different kinds of erotetic search scenarios are characterized. The basic logical properties of erotetic search scenarios are analyzed. 相似文献
19.
Studia Logica - Using two distinct membership symbols makes possible to base set theory on one general axiom schema of comprehension. Is the resulting system consistent? Can set theory and... 相似文献
20.