Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.
 
 

Ergebnis der Suche nach: dcs=511*

Zurück zur Trefferliste


Treffer 550 von 623 < < > <



Sachbegriffe
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
  1. EITeL <Logik>
    Temporale Logik
  2. TLA <Logik>
    Temporale Logik
Thema in 133 Publikationen
  1. Nominale Logik der Zeit
    Weichbold, Viktor. - Hamburg : Verlag Dr. Kovac GmbH, 2022, 1. Auflage
  2. Nominale Logik der Zeit
    Weichbold, Viktor. - Hamburg : Verlag Dr. Kovač, 2022
  3. ...
Maschinell verknüpft mit 22 Publikationen
  1. Computational Complexity of Verifying Parameterized Systems
    Ayikudi Ramachandrakumar, Balasubramanian. - München : Universitätsbibliothek der TU München, 2024
  2. Context-Sensitive Description Logics in Dynamic Settings
    Tirtarasa, Satyadharma. - Dresden : Technische Universität Dresden, 2024
  3. ...





Treffer 550 von 623
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration