全文获取类型
收费全文 | 3295篇 |
免费 | 525篇 |
国内免费 | 731篇 |
专业分类
化学 | 29篇 |
力学 | 58篇 |
综合类 | 222篇 |
数学 | 3719篇 |
物理学 | 523篇 |
出版年
2024年 | 14篇 |
2023年 | 50篇 |
2022年 | 55篇 |
2021年 | 60篇 |
2020年 | 38篇 |
2019年 | 43篇 |
2018年 | 26篇 |
2017年 | 69篇 |
2016年 | 66篇 |
2015年 | 99篇 |
2014年 | 197篇 |
2013年 | 129篇 |
2012年 | 228篇 |
2011年 | 257篇 |
2010年 | 244篇 |
2009年 | 195篇 |
2008年 | 285篇 |
2007年 | 245篇 |
2006年 | 227篇 |
2005年 | 200篇 |
2004年 | 207篇 |
2003年 | 177篇 |
2002年 | 169篇 |
2001年 | 169篇 |
2000年 | 189篇 |
1999年 | 115篇 |
1998年 | 121篇 |
1997年 | 110篇 |
1996年 | 90篇 |
1995年 | 111篇 |
1994年 | 71篇 |
1993年 | 67篇 |
1992年 | 63篇 |
1991年 | 43篇 |
1990年 | 55篇 |
1989年 | 45篇 |
1988年 | 11篇 |
1987年 | 3篇 |
1985年 | 3篇 |
1984年 | 1篇 |
1983年 | 1篇 |
1982年 | 1篇 |
1980年 | 1篇 |
1959年 | 1篇 |
排序方式: 共有4551条查询结果,搜索用时 0 毫秒
71.
研究无原子布氏代数的计算复杂性 .得到了下面的新定理 :定理 1 无原子布氏代数理论Δ具有完全的量词消去法 ,也就是说每一个式子都Δ等价于一个开式子 .定理 2 无原子布氏代数的初等型Γ (x1,… ,xn)是由型内的不含量词的全体开式子所唯一决定 .定理 3 无原子布氏代数的一个长度为 n的语句的判断过程所消耗的 Turing时间和空间都是属于 2 2 cn指数级 . 相似文献
72.
73.
环境演算(MA)的模态逻辑AL进行了研究.在考虑了复制操作和限制操作的情况下,提出了逻辑等价的协归纳操作描述,并利用协归纳关系与进程结构同余关系进行比较,证明了若对MA加上约束条件得到子集MAIF^syn,此时逻辑等价(=L)与结构同余关系是等价的,即AL在MAIF^syn中是内涵的.同时发现由于复制操作的存在,AL的内涵性受到了影响,使得AL的区分能力被削弱,但通过对复制公式的构造验证了AL的表达能力. 相似文献
74.
针对多元χ演算运行时刻通信安全的判定性问题进行了研究.通过从Lazyλ项到χ项的编码,将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题.证明了在多元χ演算中,通讯错误也是不可判定的.结论说明不存在算法直接来检测进程的通信安全性,而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的. 相似文献
75.
郑乃峰 《南昌大学学报(理科版)》2004,28(2):118-123,129
H是Hopf代数,C是H-模余代数。首先利用余积分的概念,诱导C的右H-余模结构,并构造了Smash余积余代数C×H,使C×H作为余代数同构于C H。然后,由C的右H-余模结构诱导C的左H0-模结构,令 C=C/KerεH0C,则C×H与 C有Morita-Takeuchi关系。 相似文献
76.
77.
向量作为新教材的一个亮点,倍受关注.由于向量集数、形于一体,涉及了代数、几何、三角等多门课程,而向量方法特别便于研究有关直线和平面的各种问题,因此对向量的学习和研究一定要溶于这些课程,并把握好向量与各课程间的交汇点,发挥其作用. 相似文献
78.
用Alhassid与Levine所提出的动力学李代数的方法(简称A-L理论),研究了含有二级非简谐的共线散射体系A+BC的平-振能量传递问题,计算了散射过程含有主要动力学参量的跃迁矩阵和跃迁几率的解析表示式. 相似文献
79.
80.
两个代数不等式 总被引:2,自引:0,他引:2
本文旨在建立两个新的代数不等式 ,并给出它的一个应用 .引理 若x ,y为正数 ,n为正整数 ,则 xn + yn2≥ x + y2n.证略 .定理 1 若a ,b ,c为不大于 1的正数 ,n为正整数 ,则1n1+a+ 1n 1+b+ 1n1+c≤ 3n1+ 3 abc.证 令α ,β为不大于 1的正数 ,则 11+α+ 11+ β=2 +α + β1+α + β +αβ= 1+ 1-αβ1+α + β +αβ≤ 1+ 1-αβ1+ 2αβ+αβ= 21+αβ,∴ 1n1+α+ 1n1+ β=n 11+α+n 11+ β≤ 2n 1211+α+ 11+ β≤ 2 11+αβ=21+αβ,∴ 1n1+a+ 1n1+b+ 1n1+c+ 1n1+ 3 abc≤ 21n1+ab+ 1n1+c 3 abc≤ 4n1+ 4abc 3 abc=4n1+ 3 abc,∴ 1n1… 相似文献