全文获取类型
收费全文 | 1495篇 |
免费 | 114篇 |
国内免费 | 90篇 |
专业分类
电工技术 | 158篇 |
综合类 | 163篇 |
化学工业 | 106篇 |
金属工艺 | 34篇 |
机械仪表 | 41篇 |
建筑科学 | 187篇 |
矿业工程 | 99篇 |
能源动力 | 18篇 |
轻工业 | 80篇 |
水利工程 | 43篇 |
石油天然气 | 60篇 |
武器工业 | 6篇 |
无线电 | 112篇 |
一般工业技术 | 62篇 |
冶金工业 | 34篇 |
原子能技术 | 3篇 |
自动化技术 | 493篇 |
出版年
2024年 | 4篇 |
2023年 | 5篇 |
2022年 | 28篇 |
2021年 | 23篇 |
2020年 | 24篇 |
2019年 | 20篇 |
2018年 | 14篇 |
2017年 | 14篇 |
2016年 | 20篇 |
2015年 | 23篇 |
2014年 | 65篇 |
2013年 | 64篇 |
2012年 | 98篇 |
2011年 | 90篇 |
2010年 | 63篇 |
2009年 | 104篇 |
2008年 | 94篇 |
2007年 | 119篇 |
2006年 | 99篇 |
2005年 | 93篇 |
2004年 | 83篇 |
2003年 | 82篇 |
2002年 | 87篇 |
2001年 | 78篇 |
2000年 | 68篇 |
1999年 | 53篇 |
1998年 | 33篇 |
1997年 | 19篇 |
1996年 | 31篇 |
1995年 | 17篇 |
1994年 | 14篇 |
1993年 | 18篇 |
1992年 | 10篇 |
1991年 | 6篇 |
1990年 | 2篇 |
1989年 | 8篇 |
1988年 | 7篇 |
1987年 | 4篇 |
1985年 | 3篇 |
1984年 | 2篇 |
1982年 | 2篇 |
1979年 | 1篇 |
1978年 | 2篇 |
1977年 | 1篇 |
1975年 | 2篇 |
1962年 | 1篇 |
1960年 | 1篇 |
排序方式: 共有1699条查询结果,搜索用时 15 毫秒
31.
32.
33.
34.
Olaf Beyersdorff 《Theory of Computing Systems》2008,43(2):118-135
Disjoint
-pairs are a well studied complexity-theoretic concept with important applications in cryptography and propositional proof
complexity. In this paper we introduce a natural generalization of the notion of disjoint
-pairs to disjoint k-tuples of
-sets for k≥2. We define subclasses of the class of all disjoint k-tuples of
-sets. These subclasses are associated with a propositional proof system and possess complete tuples which are defined from
the proof system.
In our main result we show that complete disjoint
-pairs exist if and only if complete disjoint k-tuples of
-sets exist for all k≥2. Further, this is equivalent to the existence of a propositional proof system in which the disjointness of all k-tuples is shortly provable. We also show that a strengthening of this conditions characterizes the existence of optimal proof
systems.
An extended abstract of this paper appeared in the proceedings of the conference CSR 2006 (Lecture Notes in Computer Science
3967, 80–91, 2006).
Supported by DFG grant KO 1053/5-1. 相似文献
35.
In this paper, I review both mathematics education and CSCL literature and discuss how we can better take advantage of CSCL tools for developing mathematical proof skills. I introduce a model of proof in school mathematics that incorporates both empirical and deductive ways of knowing. I argue that two major forces have given rise to this conception of proving: a particular learning perspective promoted in reform documents and a genre of computer tools, namely dynamic geometry software, which affords this perspective of learning within the context of mathematical proof. Tracing the move from absolutism to fallibilism in the philosophy of mathematics, I highlight the vital role of community in the production of mathematical knowledge. This leads me to an examination of a certain CSCL tool whose design is guided by knowledge-building pedagogy. I argue that knowledge building is a suitable pedagogical approach for the proof model presented in this paper. Furthermore, I suggest software modifications that will better support learners’ participation in authentic proof tasks. 相似文献
36.
We begin by showing how to faithfully encode the Classical ModalDisplay Logic (CMDL) of Wansing into the Calculus of Structures(CoS) of Guglielmi. Since every CMDL calculus enjoys cut-elimination,we obtain a cut-elimination theorem for all corresponding CoScalculi. We then show how our result leads to a minimal cut-freeCoS calculus for modal logic S5. No other existing CoS calculifor S5 enjoy both these properties simultaneously. 相似文献
37.
38.
Amy Felty 《Journal of Automated Reasoning》1993,11(1):43-81
We argue that a logic programming language with a higher-order intuitionistic logic as its foundation can be used both to naturally specify and implement tactic-style theorem provers. The language extends traditional logic programming languages by replacing first-order terms with simply-typed -terms, replacing first-order unification with higher-order unification, and allowing implication and universal quantification in queries and the bodies of clauses. Inference rules for a variety of inference systems can be naturally specified in this language. The higher-order features of the language contribute to a concise specification of provisos concerning variable occurrences in formulas and the discharge of assumptions present in many inference systems. Tactics and tacticals, which provide a framework for high-level control over search for proofs, can be directly and naturally implemented in the extended language. This framework serves as a starting point for implementing theorem provers and proof systems that can integrate many diversified operations on formulas and proofs for a variety of logics. We present an extensive set of examples that have been implemented in the higher-order logic programming language Prolog. 相似文献
39.
In this paper we prove an exponential lower bound on the size of bounded-depth Frege proofs for the pigeonhole principle (PHP). We also obtain an (loglogn)-depth lower bound for any polynomial-sized Frege proof of the pigeonhole principle. Our theorem nearly completes the search for the exact complexity of the PHP, as S. Buss has constructed polynomial-size, logn-depth Frege proofs for the PHP. The main lemma in our proof can be viewed as a general Håstad-style Switching Lemma for restrictions that are partial matchings. Our lower bounds for the pigeonhole principle improve on previous superpolynomial lower bounds. 相似文献
40.
Humorously describes fictional studies "proving" that motor and language development occur concurrently ("hand in hand") and that this development is independent of culture. (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献