Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: nid=4615978-2
Link zu diesem Datensatz | https://d-nb.info/gnd/4615978-2 |
Sachbegriff | Endliche Modelltheorie |
Quelle | Vorlage |
Synonyme | Finite model theory |
Oberbegriffe | Modelltheorie |
DDC-Notation | 511.34 |
Systematik | 28 Mathematik ; 30 Informatik, Datenverarbeitung |
Thema in |
6 Publikationen
|
Maschinell verknüpft mit |
1 Publikation
|