全文获取类型
收费全文 | 159篇 |
免费 | 2篇 |
国内免费 | 1篇 |
专业分类
化学 | 107篇 |
晶体学 | 1篇 |
数学 | 21篇 |
物理学 | 33篇 |
出版年
2023年 | 1篇 |
2022年 | 2篇 |
2021年 | 1篇 |
2020年 | 1篇 |
2019年 | 1篇 |
2017年 | 1篇 |
2016年 | 3篇 |
2015年 | 1篇 |
2014年 | 5篇 |
2013年 | 8篇 |
2012年 | 11篇 |
2011年 | 3篇 |
2010年 | 8篇 |
2009年 | 6篇 |
2008年 | 9篇 |
2007年 | 12篇 |
2006年 | 8篇 |
2005年 | 4篇 |
2004年 | 8篇 |
2003年 | 3篇 |
2002年 | 8篇 |
2001年 | 8篇 |
2000年 | 9篇 |
1999年 | 2篇 |
1998年 | 1篇 |
1997年 | 3篇 |
1996年 | 2篇 |
1995年 | 6篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1992年 | 3篇 |
1991年 | 3篇 |
1990年 | 1篇 |
1989年 | 1篇 |
1988年 | 3篇 |
1987年 | 1篇 |
1986年 | 2篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1983年 | 1篇 |
1981年 | 1篇 |
1980年 | 1篇 |
1978年 | 1篇 |
1975年 | 1篇 |
1974年 | 1篇 |
1973年 | 2篇 |
排序方式: 共有162条查询结果,搜索用时 62 毫秒
161.
We consider the class of I-graphs, which is a generalization of the class of the generalized Petersen graphs. We show that two I-graphs I(n, j, k) and I(n, j 1, k 1) are isomorphic if and only if there exists an integer a relatively prime to n such that either {j 1, k 1} =? {a j mod n, a k mod n } or {j 1, k 1} =? {a j mod n, ? a k mod n }. This result has an application in the enumeration of non-isomorphic I-graphs and unit-distance representations of generalized Petersen graphs. 相似文献
162.
Interpretability logic is a modal formalization of relative interpretability between first-order arithmetical theories. Verbrugge semantics is a generalization of Veltman semantics, the basic semantics for interpretability logic. Bisimulation is the basic equivalence between models for modal logic. We study various notions of bisimulation between Verbrugge models and develop a new one, which we call w-bisimulation. We show that the new notion, while keeping the basic property that bisimilarity implies modal equivalence, is weak enough to allow the converse to hold in the finitary case. To do this, we develop and use an appropriate notion of bisimulation games between Verbrugge models. 相似文献