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