收费全文 | 54535篇 |
免费 | 2824篇 |
国内免费 | 70篇 |
电工技术 | 432篇 |
综合类 | 48篇 |
化学工业 | 12339篇 |
金属工艺 | 993篇 |
机械仪表 | 1107篇 |
建筑科学 | 1671篇 |
矿业工程 | 106篇 |
能源动力 | 1575篇 |
轻工业 | 9193篇 |
水利工程 | 473篇 |
石油天然气 | 250篇 |
武器工业 | 7篇 |
无线电 | 2316篇 |
一般工业技术 | 8447篇 |
冶金工业 | 10466篇 |
原子能技术 | 328篇 |
自动化技术 | 7678篇 |
2024年 | 96篇 |
2023年 | 450篇 |
2022年 | 1092篇 |
2021年 | 1577篇 |
2020年 | 1097篇 |
2019年 | 1271篇 |
2018年 | 1835篇 |
2017年 | 1829篇 |
2016年 | 1966篇 |
2015年 | 1529篇 |
2014年 | 2015篇 |
2013年 | 3901篇 |
2012年 | 3061篇 |
2011年 | 3364篇 |
2010年 | 2640篇 |
2009年 | 2557篇 |
2008年 | 2356篇 |
2007年 | 2066篇 |
2006年 | 1614篇 |
2005年 | 1386篇 |
2004年 | 1269篇 |
2003年 | 1124篇 |
2002年 | 1084篇 |
2001年 | 743篇 |
2000年 | 723篇 |
1999年 | 781篇 |
1998年 | 3268篇 |
1997年 | 2212篇 |
1996年 | 1477篇 |
1995年 | 882篇 |
1994年 | 715篇 |
1993年 | 790篇 |
1992年 | 299篇 |
1991年 | 298篇 |
1990年 | 219篇 |
1989年 | 246篇 |
1988年 | 232篇 |
1987年 | 210篇 |
1986年 | 179篇 |
1985年 | 232篇 |
1984年 | 186篇 |
1983年 | 141篇 |
1982年 | 182篇 |
1981年 | 188篇 |
1980年 | 203篇 |
1979年 | 107篇 |
1978年 | 107篇 |
1977年 | 360篇 |
1976年 | 746篇 |
1973年 | 89篇 |
This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.
相似文献