@prefix : .
@prefix dct: .
@prefix foaf: .
@prefix iqvoc: .
@prefix owl: .
@prefix rdf: .
@prefix rdfs: .
@prefix schema: .
@prefix skos: .
@prefix void: .
:_00000109 skos:prefLabel "computer science"@en;
skos:prefLabel "Informatik"@de.
:_00000159 skos:prefLabel "automata theory"@en;
skos:prefLabel "Automatentheorie"@de.
:_00000160 skos:prefLabel "formal language"@en;
skos:prefLabel "Formale Sprache"@de.
:_00000161 skos:prefLabel "complexity theory"@en;
skos:prefLabel "Komplexitätstheorie"@de.
:_00000162 skos:prefLabel "computability theory"@en;
skos:prefLabel "Berechenbarkeitstheorie"@de.
:_00000158 a skos:Concept;
skos:inScheme :scheme;
skos:prefLabel "theoretical computer science"@en;
skos:prefLabel "Theoretische Informatik"@de;
skos:broader :_00000109;
skos:narrower :_00000159;
skos:narrower :_00000160;
skos:narrower :_00000161;
skos:narrower :_00000162;
skos:definition "Untersucht die mathematischen Methoden und Modelle, die sich hinter der Fassade der modernen Hardware- und Software-Technik verbergen. Wichtige Teilbereiche der theoretischen Informatik sind die Logik, die Theorie der formalen Sprachen, die Theorie der endlichen Automaten sowie die Berechenbarkeits- und die Komplexitätstheorie. (Hoffmann, Dirk W.: Theoretische Informatik. 2., aktualisierte Aufl. München : Hanser, 2011)"@de;
skos:broadMatch ;
skos:broadMatch ;
skos:broadMatch ;
skos:broadMatch .