Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Techreport298

Aus Aifbportal

Wechseln zu: Navigation, Suche


Verifying Knowledge-Based Systems with KIV


Dieter Fensel, Arno Schönegge



Published: 1997 Mai
Nummer: 361
Institution: University of Karlsruhe, Institute AIFB
Erscheinungsort / Ort: 76128 Karlsruhe, Germany
Archivierungsnummer: 298

BibTeX



Forschungsgruppe

Wissensmanagement