Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=041375424
Link zu diesem Datensatz | https://d-nb.info/gnd/4137542-7 |
Sachbegriff | Temporale Logik |
Quelle |
Lex. Informatik Enz. Wiss.theorie (unter Logik, temporale) |
Synonyme |
Zeitabhängige Logik Zeitlogik Temporal logic Temporallogik |
Oberbegriffe | Nichtklassische Logik |
Thematischer Bezug | Verwandter Begriff: Temporales Schließen |
DDC-Notation |
005.131 160 511.31 |
Systematik | 28 Mathematik ; 30 Informatik, Datenverarbeitung ; 4.3 Erkenntnistheorie, Logik |
Typ | Allgemeinbegriff (saz) |
Untergeordnet |
2 Datensätze
|
Thema in |
130 Publikationen
|
Maschinell verknüpft mit |
19 Publikationen
|