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

Integrating semiformal and formal methods in knowledge-based systems development

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



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Jahr 1994
Sprache Englisch
Identifikator 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