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

Specification and verification of knowledge-based systems

Fensel, Dieter; Schoenegge, Arno; Groenboom, Rix; Wielinga, Bob



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Jahr 1996
Sprache Englisch
Identifikator KITopen ID: 274996
Erscheinungsvermerk In: Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, Banff, Canada 1996. S. 4/1-4/20.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page