搜索页_ Zermelo–

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Opening Hours
Collections
Help Via Email

Electronic Information Resources

外文资源

内部出版物

SpringerLink电子期刊(2)

Elsevier电子期刊(18)

在“Elsevier电子期刊”中，命中：18条，耗时：0.1009485 秒

在所有数据库中总计命中：20条

1.The Zermelo–Voronoi diagram: A dynamic partition problem

作者：Efstathios Bakolas ; Panagiotis Tsiotras

关键词：Autonomous agents ; Voronoi diagram ; Zermelo&#x2013 ; Voronoi diagram ; Dual Zermelo&#x2013 ; Voronoi diagram ; Computational methods ; Dynamic partition problems

刊名：Automatica

出版年：2010

2.Resistance and conductance in structured Zermelo tournaments

作者：Gregory R. Conner ; Christopher P. Grant ; Benjamin Z. Webb

关键词：Paired comparisons ; Tournaments ; Ranking ; Zermelo ; Bradley&#x2013 ; Terry

刊名：Advances in Applied Mathematics

出版年：2010

3.Neighborhood monotonicity, the extended Zermelo model, and symmetric knockout tournaments

作者：Gregory R. Conner ; Christopher P. Grant

关键词：Knockout tournament ; Zermelo model ; Bradley&#x2013 ; Terry model ; Ranking ; Monotonicity

刊名：Discrete Mathematics

出版年：2009

4.Simplicity via provability for universal prefix-free Turing machines

作者：Cristian S. Calude

关键词：Universal Turing machine ; Provability ; Simplicity

刊名：Theoretical Computer Science

出版年：2011

5.Michael Eckert and Karl Märker, Editors, Arnold Sommerfeld. Wissenschaftlicher Briefwechsel. Band I: 1892–1918, Band II: 1919–1951, CD-ROM: 1892–1951, Verlag für Geschic

作者：Edward Jurkowitz

关键词：Continuum hypothesis ; Well-ordering theorem ; Zermelo

刊名：Historia Mathematica

出版年：2007

6.An automated prover for Zermelo–Fraenkel set theory in Theorema

作者：Wolfgang Windsteiger

关键词：Automated theorem proving ; Set theory ; Theorema

刊名：Journal of Symbolic Computation

出版年：2006

7.Mathematical foundations of consciousness

作者：Willard L. Miranker ; Gregg J. Zuckerman

关键词：Foundations of consciousness ; Neural networks ; Non-well-founded sets ; Russell operator ; Semantics of operators

刊名：Journal of Applied Logic

出版年：2009

8.Michael Hallett and Ulrich Majer, Editors, David Hilbert's Lectures on the Foundations of Geometry, 1891–1902, Springer-Verlag, Berlin, Heidelberg, New York (2004) ISBN 978-3-540-64373-9 xxviii

作者：David E. Rowe

关键词：Continuum hypothesis ; Well-ordering theorem ; Zermelo

刊名：Historia Mathematica

出版年：2007

9.Replacement versus collection and related topics in constructive Zermelo–Fraenkel set theory

作者：Michael Rathjen

关键词：Constructive set theory ; Replacement ; Strong collection ; Proof-theoretic strength ; Trichotomous ordinals

刊名：Annals of Pure and Applied Logic

出版年：2005

10.Topological sums and products in ZF

作者：Horst Herrlich ; Kyriakos Keremedis

关键词：Products ; Sums ; Axiom of choice ; Compact ; Baire space

刊名：Topology and its Applications

出版年：2009

1

2

按检索点细分(18)

题名(3)

关键词(5)

文摘(10)

按出版年细分(18)

2011年(1)

2010年(2)

2009年(3)

2007年(3)

2006年(5)

2005年(4)

NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.