Katalog der Deutschen Nationalbibliothek

Neuigkeiten

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

 
 

Ergebnis der Suche nach: nid=4017848-1



Treffer 1 von 1 < < > <



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4017848-1
Sachbegriff Formale Sprache
Quelle M
Synonyme Formalsprache
Kalkülsprache
Künstliche Sprache <Formale Sprache>
Oberbegriffe Kunstsprache
Thematischer Bezug Verwandter Begriff: Logische Sprache
DDC-Notation 005.131
511.3
Systematik 30 Informatik, Datenverarbeitung
Typ Allgemeinbegriff (saz)
Andere Normdaten LCSH: Formal languages
RAMEAU: Langages formels
Beispiele 2 Begriffe
  1. String diagram
    Beispiel für: Formale Sprache
  2. Universal Networking Language
    Beispiel für: Formale Sprache
Untergeordnet 13 Datensätze
  1. Authomath
    Formale Sprache
  2. Bildbeschreibungssprache
    Formale Sprache
  3. ...
Thema in 326 Publikationen
  1. Automata Theory and Logic
    Hofmann, Martin. - Berlin, Heidelberg : Springer Berlin Heidelberg, Imprint: Springer Vieweg, 2025, 1st ed. 2025
  2. [Automatentheorie und Logik]
    Automata theory and logic
    Hofmann, Martin. - Berlin, Germany : Springer Vieweg, [2025]
  3. ...
Maschinell verknüpft mit 24 Publikationen
  1. Advanced Models and Techniques for Data Languages
    Frank, Florian Nikolas. - Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2026
  2. Theoretische Informatik
    Sina, Lucien. - Berlin : epubli, 2025, 2. Auflage
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration