Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
|
|
|
| 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 |
| Typ | Allgemeinbegriff (saz) |
| Thema in |
8 Publikationen
|

