EVA STAR Trefferanzeige

Volltext Volltext.pdf1.pdf (68 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA1191973
Titel Specifying and verifying knowledge-based systems with KIV.
Autor Fensel, Dieter
Schoenegge, Arno
Institution Fakultät für Wirtschaftswissenschaften (WIWI)
Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Dokumenttyp Aufsatz in einem Buch / Sammelwerk / Proceedings
Erscheinungsvermerk In: Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV'97, Leuven, Belgium 1997.