Suche mittels Attribut
aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- Codd, E. F. (1969): Derivability, Redundancy and Consistency of Relations Stored in Large Sata Banks + (ACM SIGMOD Record)
- Bayer, R.; McCreight, E. (1972): Organization and Maintenance of Large Ordered Indexes + (Acta Informatica)
- Von Neumann, J. (1923): Zur Einführung der transfiniten Zahlen + (Acta Scientiarum Mathematicarum (Szeged))
- Russell, B. (1908): Mathematical Logic as Based on the Theory of Types + (American Journal of Mathematics)
- Martin, R.C. (1996): The Interface Segregation Principle + (C++ Report)
- Dipert, R. R. (1982): Set-Theoretical Representationsof Ordered Pairs and TheirAdequacy for the Logicof Relations + (Canadian Journal of Philosophy)
- Unguru, S. (1976): A Very Early Acquaintance with Apollonius of Perga's Treatise on Conic Sections in the Latin West + (Centaurus)
- McCarthy, J. (1960): Recursive Functions of Symbolic Expressions and Their Computation by Machine + (Communications of the ACM)
- Codd, E. F. (1970): A Relational Model of Data for Large Shared Data Banks + (Communications of the ACM)
- Reitze, R. (1990): Logik als Existenzform: Albert Menne starb am 7. März + (Die Welt)
- Oberschelp, A. (1973): Set Theory over Classes + (Dissertationes Mathematicae)
- Wintersteiger, A.; Mathis, Ch. (2011): Clean Code – Prinzipien bei der Entwicklung von sauberem Code + (Entwickler Magazin)
- Kuratowski, K. (1921): Sur la notion de l‘ordere dans la Théorie des Ensembles + (Fundamenta Mathematica)
- Shadbolt, N.; Hall, W.; Berners-Lee, T. (2006): The Semantic Web Revisited + (IEEE Intelligent Systems)
- Williams et al. (2000), Strengthening the Case for Pair-Programming + (IEEE Software)
- Lieberherr, K.J.; Holland, I.M. (1989): Assuring Good Style for Object-Oriented Programs + (IEEE Software)
- Künne, W. (2010): Eadem sunt, quae sibi mutuo substitui possunt, salva veritate + (Jahrbuch der Akademie der Wissenschaften zu Göttingen)
- Kleene, S. C. (1938): On Notation for Ordinal Numbers + (Journal Symbolic Logic)
- Cantor, G. (1874): Ueber eine Eigenschaft des Inbegriffs aller reellen algebraischen Zahlen + (Journal für die reine und angewandte Mathematik)
- Von Neumann, J. (1925): Eine Axiomatisierung der Mengenlehre + (Journal für die reine und angewandte Mathematik)
- Von Neumann, J. (1929): Über eine Widerspruchfreiheitsfrage in der axiomatischen Mengenlehre + (Journal für die reine und angewandte Mathematik)
- Cantor, G. (1895): Beiträge zur Begründung der transfiniten Mengenlehre + (Mathematische Annalen)
- Cantor, G. (1883): Ueber unendliche, lineare Punktmannichfaltigkeiten, 5. + (Mathematische Annalen)
- Von Neumann, J. (1928): Über die Definition durch transfinite Induktion und verwandte Fragen der allgemeinen Mengenlehre + (Mathematische Annalen)
- Cantor, G. (1883): Ueber unendliche, lineare Punktmannichfaltigkeiten, 4. + (Mathematische Annalen)
- Cantor, G. (1897): Beiträge zur Begründung der transfiniten Mengenlehre (Zweiter Artikel.) + (Mathematische Annalen)
- Cantor, G. (1882): Ueber unendliche, lineare Punktmannichfaltigkeiten, 3. + (Mathematische Annalen)
- Cantor, G. (1879): Ueber unendliche, lineare Punktmannichfaltigkeiten, 1. + (Mathematische Annalen)
- Cantor, G. (1880): Ueber unendliche, lineare Punktmannichfaltigkeiten, 2. + (Mathematische Annalen)
- Cantor, G. (1884): Ueber unendliche, lineare Punktmannichfaltigkeiten, 6. + (Mathematische Annalen)
- Zermelo, E. (1908): Neuer Beweis für die Möglichkeit einer Wohlordnung + (Mathematische Annalen)
- Zermelo, E. (1908): Untersuchungen über die Grundlagen der Mengenlehre + (Mathematische Annalen)
- Kleene, S. C.; Rosser, J. B. (1935): The inconsistency of certain formal logics + (Mathematische Annalen)
- Hilbert, D. (1922): Die logischen Grundlagen der Mathematik + (Mathematische Annalen)
- Peirce, C.S. (1870): Description of a Notation for the Logic of Relatives + (Memoirs of the American Academy of Arts and Sciences)
- Gödel, K. (1931): Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I + (Monatshefte für Mathematik und Physik)
- Dostal, W.; Jeckle, M.; Melzer, I.; Zengler, B. (2005): Semantic Web + (OBJEKTspektrum)
- Wiener, N. (1914): A Simplification of the Logic of Relations + (Proceedings of Cambridge Philosophical Society)
- Rocha, C.; Schwabe, D; Poggi, M. (2004): A hybrid approach for searching in the semantic web + (Proceedings of the 13th international conference on World Wide Web)
- Omelayenko, B. (2001): Learning of Ontologies for the Web + (Proceedings of the International Workshop on Web Dynamics, held in conj. with the 8th International Conference on Database Theory (ICDT’01))
- Gödel, K. (1938): The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis + (Proceedings of the National Academy of Sciences)
- C. Burali-Forti, C. (1897): Una questione sui numeri transfiniti + (Rendiconti del Circolo Matematico di Palermo)
- Tarski, A. (1935): Der Wahrheitsbegriff in den formalisierten Sprachen + (Studia Philosophica. Commentarii Societatis Philosophicae Polonorum)
- Quine, W. V. (1937): New Foundations for Mathematical Logic + (The American Mathematical Monthly)
- Scott, D.; McCarty, D. (2008): Reconsidering Ordered Pairs + (The Bulletin of Symbolic Logic)
- Kanamori, A. (2003): The Empty Set, the Singleton, and the Ordered Pair + (The Bulletin of Symbolic Logic)
- Goodman, N. (1941): Sequences + (The Journal of Symbolic Logic)
- Quine, W. V. (1946): On Relations as Coextensive with Classes + (The Journal of Symbolic Logic)
- Quine, W. V. (1945): On Ordered Pairs + (The Journal of Symbolic Logic)
- Rosser, B. (1936): Extensions of Some Theorems of Gödel and Church + (The Journal of Symbolic Logic)