Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.
 
 

Ergebnis der Suche nach: dct=T4--0*

Zurück zur Trefferliste


Treffer 2949 von 3218 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4122144-8
Sachbegriff Formale Semantik
Quelle Lex. Informatik Kommunikationstechnik
Synonyme Logik / Semantik
Logische Semantik
Semantik / Logik
Oberbegriffe Semantik
Thematischer Bezug Verwandter Begriff: Logik
DDC-Notation 004.015113
005.131
160
511.3
401.430182
T4--01430182
Systematik 4.3 Erkenntnistheorie, Logik ; 11.2a Allgemeine Sprachtheorie ; 28 Mathematik ; 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Andere Normdaten LCSH: Semantics (Philosophy)
RAMEAU: Sémantique (philosophie)
Untergeordnet 6 Datensätze
  1. Aktionssemantik
    Formale Semantik
  2. Axiomatische Semantik
    Formale Semantik
  3. ...
Thema in 153 Publikationen
  1. Systemmodell-basierte Definition objektbasierter Modellierungssprachen mit semantischen Variationspunkten
    Grönniger, Hans. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
  2. Linguistics meets literature
    Bauer, Matthias. - Berlin : de Gruyter Mouton, [2020], [1. Auflage]
  3. ...
Maschinell verknüpft mit 12 Publikationen
  1. Large language model based semantic interoperability enhancement for energy data management
    Pan, Zhiyu. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
  2. Formal analysis of èto-clefts in Russian: syntax and semantics
    Shipova, Evgeniya. - Potsdam : Universität Potsdam, 2024
  3. ...





Treffer 2949 von 3218
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration