KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal methods in knowledge engineering

Van Harmelen, Frank; Fensel, Dieter

Open Access Logo


Volltext §
DOI: 10.5445/IR/244595
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 1995
Sprache Deutsch
Identifikator urn:nbn:de:swb:90-AAA2445951
KITopen-ID: 244595
Erscheinungsvermerk The knowl. engng. rev. 10 (1995) S. 345-360.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page