KIT | KIT-Bibliothek | Impressum | Datenschutz

Integration Of Semiformal and Formal Methods For Specification of Knowledge-Based Systems

Fensel, Dieter; Neubert, S.



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 1994
Sprache Englisch
Identifikator ISBN: 978-3-540-58313-4
KITopen-ID: 1000093445
Erschienen in Innovationen bei Rechen- und Kommunikationssystemen ; eine Herausforderung für die Informatik ; 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August - 2. September 1994. Hrsg.: Bernd E. Wolfinger
Verlag Springer, Berlin
Seiten 43-50
Serie Informatik Aktuell
Bemerkung zur Veröffentlichung GI-Jahrestagung ; 24
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page