KIT | KIT-Bibliothek | Impressum | Datenschutz

Integration of semiformal and formal methods for specifying knowledge-based systems

Fensel, Dieter; Neubert, Susanne

Open Access Logo


Volltext §
DOI: 10.5445/IR/293894
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-AAA2938944
KITopen-ID: 293894
Erscheinungsvermerk In: Innovationen bei Rechen- und Kommunikationssystemen. Hrsg.: B. Wolfinger. Berlin 1994. S. 43-50. (GI-Jahrestagung. 24.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page