You have Guest access.
Log In
Richard Kramer
Journal Article
Aufbau der hyperbolischen Geometrie aus dem Geradenorthogonalitätsbegriff
V. Pambuccian
Acta Mathematica Hungarica, 2003, Volume 101, Numbers 1-2, Pages 51-61
Book Chapter
Axiomatizations of Hyperbolic and Absolute Geometries
Victor Pambuccian
Mathematics and Its Applications, 1, Volume 581, Non-Euclidean Geometries, II, Pages 119-153
Euclidean geometry of orthogonality of subspaces
Małgorzata Prażmowska, Krzysztof Prażmowski and Mariusz żynel
Aequationes Mathematicae, 2008, Volume 76, Numbers 1-2, Pages 151-167
Hilbert Spaces
Springer Series in Statistics, 1991, Time Series: Theory and Methods, Pages 42-76
On a problem of H. N. Gupta
Andreas Blass and Victor Pambuccian
Geometriae Dedicata, 1996, Volume 61, Number 3, Pages 329-331
Invariance and Meaningfulness in Phenotype spaces
Simon M. Huttegger and Philipp Mitteroecker
Evolutionary Biology, 2011, Volume 38, Number 3, Pages 335-351
The tangibility reflection principle for self-verifying axiom systems
Dan E. Willard
Lecture Notes in Computer Science, 1997, Volume 1289, Computational Logic and Proof Theory, Pages 319-334
First-order definability over constraint databases Extended abstract
Stéphane Grumbach and Jianwen Su
Lecture Notes in Computer Science, 1995, Volume 976, Principles and Practice of Constraint Programming — CP '95, Pages 121-136
Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem
Lecture Notes in Computer Science, 2002, Volume 2381, Automated Reasoning with Analytic Tableaux and Related Methods, Pages 145-166
Toward a Policy-Relevant Definition of Biodiversity
Bryan G. Norton
2008, Saving Biological Diversity, Part I, Pages 11-20
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info