Integrating semiformal and formal methods in knowledge-based systems development
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1994 |
| Sprache | Englisch |
| Identifikator | urn:nbn:de:swb:90-AAA2937945 KITopen-ID: 293794 |
| Erscheinungsvermerk | In: Proceedings of the Japanese Knowledge Acquisition Workshop (JKAW-94), Hitachi, Japan 1994. S. 73-89. |