KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA3649964

The specification language KARL and its declarative semantics

Fensel, Dieter; Angele, Jürgen; Studer, Rudi



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Jahr 1996
Sprache Englisch
Identifikator URN: urn:nbn:de:swb:90-AAA3649964
KITopen ID: 364996
Erscheinungsvermerk In: Proceedings of the IS-CORE94 Workshop, Amsterdam 1997. (Research report. Free University of Amsterdam.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page