KIT | KIT-Bibliothek | Impressum

Formalizing and operationalizing a design task with KARL

Landes, Dieter; Fensel, Dieter; Angele, Juergen



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Jahr 1992
Sprache Englisch
Identifikator KITopen ID: 324492
Erscheinungsvermerk In: Proceedings of the International Workshop on Formal Specification Methods for Complex Reasoning Systems, at ECAI-92, Vienna 1992. Ed.: I. van Langevelde. S. 99-126.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page