全文获取类型
收费全文 | 765篇 |
免费 | 12篇 |
国内免费 | 1篇 |
专业分类
教育 | 545篇 |
科学研究 | 30篇 |
各国文化 | 50篇 |
体育 | 46篇 |
文化理论 | 4篇 |
信息传播 | 103篇 |
出版年
2023年 | 5篇 |
2021年 | 7篇 |
2020年 | 14篇 |
2019年 | 23篇 |
2018年 | 25篇 |
2017年 | 33篇 |
2016年 | 35篇 |
2015年 | 22篇 |
2014年 | 23篇 |
2013年 | 160篇 |
2012年 | 18篇 |
2011年 | 16篇 |
2010年 | 15篇 |
2009年 | 29篇 |
2008年 | 21篇 |
2007年 | 18篇 |
2006年 | 15篇 |
2005年 | 28篇 |
2004年 | 31篇 |
2003年 | 12篇 |
2002年 | 17篇 |
2001年 | 12篇 |
2000年 | 18篇 |
1999年 | 17篇 |
1997年 | 5篇 |
1996年 | 12篇 |
1995年 | 14篇 |
1993年 | 5篇 |
1992年 | 3篇 |
1991年 | 6篇 |
1990年 | 4篇 |
1989年 | 6篇 |
1988年 | 5篇 |
1987年 | 3篇 |
1986年 | 5篇 |
1985年 | 6篇 |
1983年 | 5篇 |
1981年 | 3篇 |
1980年 | 3篇 |
1978年 | 6篇 |
1977年 | 3篇 |
1975年 | 5篇 |
1974年 | 3篇 |
1973年 | 4篇 |
1971年 | 3篇 |
1946年 | 3篇 |
1943年 | 4篇 |
1933年 | 3篇 |
1929年 | 3篇 |
1928年 | 3篇 |
排序方式: 共有778条查询结果,搜索用时 437 毫秒
61.
Xiaorong Huang Manfred Kerber Michael Kohlhase Erica Melis Dan Nesmith J?rn Richts und J?rg Siekmann 《Informatik - Forschung und Entwicklung》1996,11(1):20-26
Zusammenfassung.
Die Beweisentwicklungsumgebung -Mkrpsoll
Mathematiker bei einer ihrer
Hauptt?tigkeiten, n?mlich dem Beweisen mathematischer Theoreme
unterstützen. Diese Unterstützung mu? so komfortabel sein,
da? die
rechnergestützte Suche nach formalen Beweisen leichter und insbesondere
weniger aufwendig ist, als ohne das System. Dazu mu? die verwendete
Objektsprache ausdrucksstark sein, man mu? die M?glichkeit haben, abstrakt
über Beweispl?ne zu reden, die gefundenen Beweise müssen in einer am
Menschen orientierte Form pr?sentiert werden und vor allem mu? eine
effiziente Unterstützung beim Füllen von Beweislücken zur Verfügung
stehen. Das im folgenden vorgestellte $\Omega$-Mkrp-System ist
der Versuch einer
Synthese der Ans?tze des vollautomatischen, des interaktiven und des
planbasierten Beweisens. Dieser Artikel soll eine übersicht über unsere
Arbeit an diesem System geben.
Eingegangen am 24. Juni 1994 / Angenommen am 3. November 1995 相似文献
62.
63.
64.
65.
66.
Michael J. Lichtenstein Steven V. Owen Cheryl L. Blalock Yan Liu Kacy A. Ramirez Linda A. Pruski Carolyn E. Marshall Mary Anne Toepperwein 《科学教学研究杂志》2008,45(5):600-616
The central purposes of this study were to review the development and evolution of the Scientific Attitude Inventory (SAI) and then reevaluate the psychometric properties of the revised form of the SAI, the Scientific Attitude Inventory II (SAI‐II). The SAI‐II was administered to a convenience sample of 543 middle and high school students from five teachers in four schools in four school districts in San Antonio, Texas, at the beginning of the 2004–2005 school year. Confirmatory factor analysis on the full data set failed to support the existence of a 12‐factor structure (as proposed by the scale developers) or a one‐factor structure. The data were then randomly divided into exploratory [exploratory factor analysis (EFA)] validation and confirmatory [confirmatory factor analysis (CFA)] cross‐validation sets. Exploratory and confirmatory models yielded a three‐factor solution that did not fit the data well [χ2 (321) = 646, p < .001; RMSEA = .061 (.90 CI = .054–.068); and CFI = .81]. The three factors were labeled “Science is About Understanding and Explaining” (13 items), “Science is Rigid” (6 items), and “I Want to Be a Scientist” (8 items). The α‐coefficients for these three factors ranged from 0.59 to 0.85. Whether these identified subscales are valid will require independent investigation. In this sample, and consistent with prior publications, the SAI‐II in its current form did not have satisfactory psychometric properties and cannot be recommended for further use. © 2008 Wiley Periodicals, Inc. J Res Sci Teach 45: 600–616, 2008 相似文献
67.
68.
69.
70.