Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/1159834717 |
Titel | On Foundational Frames for Formal Modelling : Sets, epsilon-Sets and a Model of Conception / Tina Wieczorek |
Person(en) | Wieczorek, Tina (Verfasser) |
Ausgabe | 1. Auflage |
Verlag | Aachen : Shaker |
Zeitliche Einordnung | Erscheinungsdatum: 2009 |
Umfang/Format | Online-Ressource, 154 Seiten : 21 Illustrationen (pdf) |
Andere Ausgabe(n) | Erscheint auch als Druck-Ausgabe: On foundational frames for formal modelling |
Hochschulschrift | Dissertation, Technische Universität Berlin, 2009 |
Persistent Identifier | URN: urn:nbn:de:101:1-201805202412 |
ISBN/Einband/Preis | 978-3-8322-8438-1 |
Sprache(n) | Englisch (eng) |
Beziehungen | Berichte aus der Informatik |
Anmerkungen | Lizenzpflichtig |
Schlagwörter | Mengenlehre ; Modelltheorie ; Zermelo-Fraenkel-Axiome ; Nichtwohlfundierte Menge |
DDC-Notation | 511.32 [DDC22ger] |
Sachgruppe(n) | 510 Mathematik ; 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |
