KIT | KIT-Bibliothek | Impressum | Datenschutz

Integrating semiformal and formal methods in knowledge-based systems development

Fensel, Dieter; Landes, Dieter; Neubert, Susanne; Studer, Rudi

Open Access Logo


Volltext §
DOI: 10.5445/IR/293794
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Publikationsjahr 1994
Sprache Englisch
Identifikator urn:nbn:de:swb:90-AAA2937945
KITopen-ID: 293794
Erscheinungsvermerk In: Proceedings of the Japanese Knowledge Acquisition Workshop (JKAW-94), Hitachi, Japan 1994. S. 73-89.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page