KIT | KIT-Bibliothek | Impressum

Formal specification languages in knowledge and software engineering

Fensel, Dieter



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buch
Jahr 1996
Sprache Englisch
Identifikator KITopen ID: 277596
Erscheinungsvermerk Karlsruhe 1996. (Bericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 331.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page