全文获取类型
收费全文 | 246篇 |
免费 | 4篇 |
国内免费 | 2篇 |
专业分类
化学 | 144篇 |
力学 | 5篇 |
数学 | 50篇 |
物理学 | 53篇 |
出版年
2023年 | 2篇 |
2022年 | 3篇 |
2021年 | 2篇 |
2020年 | 2篇 |
2019年 | 1篇 |
2018年 | 3篇 |
2017年 | 2篇 |
2016年 | 8篇 |
2015年 | 4篇 |
2014年 | 5篇 |
2013年 | 10篇 |
2012年 | 12篇 |
2011年 | 11篇 |
2010年 | 13篇 |
2009年 | 9篇 |
2008年 | 12篇 |
2007年 | 19篇 |
2006年 | 12篇 |
2005年 | 19篇 |
2004年 | 5篇 |
2003年 | 11篇 |
2002年 | 16篇 |
2001年 | 4篇 |
2000年 | 6篇 |
1999年 | 1篇 |
1998年 | 4篇 |
1997年 | 1篇 |
1996年 | 3篇 |
1995年 | 4篇 |
1994年 | 4篇 |
1993年 | 6篇 |
1992年 | 10篇 |
1991年 | 3篇 |
1990年 | 3篇 |
1989年 | 3篇 |
1988年 | 1篇 |
1987年 | 2篇 |
1986年 | 2篇 |
1985年 | 2篇 |
1984年 | 1篇 |
1982年 | 1篇 |
1980年 | 4篇 |
1979年 | 1篇 |
1977年 | 1篇 |
1975年 | 2篇 |
1974年 | 1篇 |
1973年 | 1篇 |
排序方式: 共有252条查询结果,搜索用时 15 毫秒
251.
Mathematical Programming - We consider solving nonlinear optimization problems with a stochastic objective and deterministic equality constraints. We assume for the objective that its evaluation,... 相似文献
252.
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. 相似文献