全文获取类型
收费全文 | 65篇 |
免费 | 0篇 |
专业分类
化学 | 4篇 |
数学 | 25篇 |
物理学 | 36篇 |
出版年
2022年 | 1篇 |
2019年 | 1篇 |
2016年 | 2篇 |
2014年 | 1篇 |
2012年 | 1篇 |
2011年 | 1篇 |
2010年 | 1篇 |
2009年 | 1篇 |
2008年 | 1篇 |
2007年 | 1篇 |
2006年 | 2篇 |
2005年 | 1篇 |
2004年 | 1篇 |
2002年 | 4篇 |
1999年 | 2篇 |
1998年 | 1篇 |
1997年 | 1篇 |
1996年 | 2篇 |
1994年 | 2篇 |
1993年 | 4篇 |
1992年 | 2篇 |
1989年 | 1篇 |
1987年 | 1篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1982年 | 2篇 |
1981年 | 1篇 |
1980年 | 1篇 |
1978年 | 2篇 |
1977年 | 3篇 |
1976年 | 3篇 |
1975年 | 1篇 |
1974年 | 4篇 |
1973年 | 2篇 |
1972年 | 2篇 |
1971年 | 2篇 |
1970年 | 1篇 |
1968年 | 2篇 |
1967年 | 1篇 |
1965年 | 1篇 |
排序方式: 共有65条查询结果,搜索用时 187 毫秒
1.
2.
G. E. Mints 《Journal of Mathematical Sciences》1980,14(5):1487-1492
Let S+ denote system JR
°
2
+ AC
°
1
in a classical second-order arithmetic, in which the induction rule is permitted to apply only to quantifier-free formulas and to
°
2
-formulas not containing functional variables, while the convolution axiom is permitted to apply only to
°
1
-formulas without functional variables. Also postulated is the closedness of the function class being examined, relative to primitive recursive operations. System, S+ turns out to be sufficiently rich: in it a theory of recursions and an elementary recursive analysis can be developed, a theorem on the continuity of effective operators and a theorem on cuteliminability from -deductions can be proved, and the usual analytic proofs of many number-theoretic theorems, including the prime distribution law, can be derived (with insignificant changes). (A formalization in S+ of the proof of Konig's lemma on paths in binary trees and of Godel's completeness theorem is described in the note.) On the other hand, the system admits of an interpretation in primitive recursive arithmetic (PRA). In particular, quantifier-free theorems in S+ are deducible in PRA, while theorems of form xyR(x,y) with a quantifier-free formula R have calculi R (x,(x)) with primitive recursive function , deducible in PRA. Thus, the suppressing part of operating constructive analysis can be developed already at the finite stages of the Shanin majorant hierarchy. In addition, a purely mechanical method exists for obtaining elementary number-theoretic proofs from many analytic proofs.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akad. Nauk SSSR, Vol. 60, pp. 93–102, 1976. Results announced September 4, 1975. 相似文献
3.
4.
5.
Superconducting nanowires can exhibit a spatially inhomogeneous pair condensate that leads to the formation of new Andreev-type states. Such states are mainly located beyond the regions where the order parameter is enhanced, and no normal-superconducting contact or external magnetic field is needed for their formation. Our numerical self-consistent solutions of the Bogoliubov-de Gennes equations for cylindrical nanowires, in the clean limit, demonstrate that these new Andreev-type states decrease the ratio of the energy gap to the critical temperature as compared to its bulk value. The low-lying excitations in a clean superconducting nanowire are these new Andreev-type states induced by quantum confinement of the electrons in the transverse direction. 相似文献
6.
It is established in the course of investigating exoelectronic emission of lead in a strain process with constant rate and under creep conditions, that the kinetics and emission current parameters are determined by the development of a thermal activation process of dynamic recovery. 相似文献
7.
J?RG?FELDVOSSEmail author SALVATORE?SICILIANO THOMAS?WEIGEL 《Transformation Groups》2016,21(2):377-398
In this paper it is shown that the projective cover of the trivial irreducible module of a finite-dimensional solvable restricted Lie algebra is induced from the one dimensional trivial module of a maximal torus. As a consequence, the number of the isomorphism classes of irreducible modules with a fixed p-character for a finite-dimensional solvable restricted Lie algebra L is bounded above by p MT(L), where MT(L) denotes the maximal dimension of a torus in L. Finally, it is proved that in characteristic p > 3 the projective cover of the trivial irreducible L-module is induced from the one-dimensional trivial module of a torus of maximal dimension, only if L is solvable. 相似文献
8.
The influence of paramagnetic impurities on magnetic and spin effects in radical reactions in liquid solutions is treated. The recombination probability of a radical pair is obtained. It is shown, that at high impurity concentration or in high-viscosity solvents the effect of the magnetic field vanishes. 相似文献
9.
It is found that in many physical, chemical and biological systems the nonuniform active media may be considered as a “matrix” controlling the selection of the dissipative structures of definite type. 相似文献
10.
G. Mints 《Archive for Mathematical Logic》1998,37(5-6):415-425
We describe a natural deduction system NDIL for the second order intuitionistic linear logic which admits normalization and has a subformula property. NDIL is an extension of the system for !-free multiplicative linear logic constructed by the author and elaborated by A. Babaev.
Main new feature here is the treatment of the modality !. It uses a device inspired by D. Prawitz' treatment of S4 combined
with a construction introduced by the author to avoid cut-like constructions used in -elimination and global restrictions employed by Prawitz. Normal form for natural deduction is obtained by Prawitz translation
of cut-free sequent derivations.
Received: March 29, 1996 相似文献