EVA STAR Trefferanzeige

Volltext Volltext.pdf1.pdf (57 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA2937945
Titel Integrating semiformal and formal methods in knowledge-based systems development.
Autor Fensel, Dieter
Landes, Dieter
Neubert, Susanne
Studer, Rudi
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 Japanese Knowledge Acquisition Workshop (JKAW-94), Hitachi, Japan 1994. S. 73-89.