GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
AIFB
URI:
https://gptkb.org/entity/AIFB
GPTKB entity
Statements (16)
Predicate
Object
gptkbp:instanceOf
gptkb:educational_institution
gptkbp:abbreviation
gptkb:AIFB
gptkbp:country
gptkb:Germany
gptkbp:focusArea
gptkb:Applied_Computer_Science
Informatics
Formal Methods
gptkbp:fullName
gptkb:Institute_of_Applied_Informatics_and_Formal_Description_Methods
https://www.w3.org/2000/01/rdf-schema#label
AIFB
gptkbp:languageOfInstruction
gptkb:German
English
gptkbp:locatedIn
gptkb:Karlsruhe
gptkb:Karlsruhe_Institute_of_Technology
gptkbp:parentOrganization
gptkb:Karlsruhe_Institute_of_Technology
gptkbp:website
https://www.aifb.kit.edu/
gptkbp:bfsParent
gptkb:All_India_Forward_Bloc
gptkbp:bfsLayer
4