Sinn und Unsinn formaler Spezifikationssprachen für wissensbasierte Systeme
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 1994 |
| Sprache | Deutsch |
| Identifikator | urn:nbn:de:swb:90-AAA2963945 KITopen-ID: 296394 |
| Erscheinungsvermerk | Künstl. Intell. (KI) 8 (1994) H. 4 S. 26-34. |