EVA STAR Trefferanzeige

Volltext Volltext.pdf1.pdf (36 KB)
URN (für Zitat) http://nbn-resolving.org/urn:nbn:de:swb:90-AAA2938944
Titel Integration of semiformal and formal methods for specifying knowledge-based systems.
Autor Fensel, Dieter
Neubert, Susanne
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: Innovationen bei Rechen- und Kommunikationssystemen. Hrsg.: B. Wolfinger. Berlin 1994. S. 43-50. (GI-Jahrestagung. 24.)