Building bridges between knowledge representation and algebraic specification
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1994 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 249594 |
| Erscheinungsvermerk | In: Methodologies for intelligent systems. 8th International Symposium, ISMIS '94, Charlotte, NC, USA 1994. Berlin 1994. S. 295-304. (Lecture notes in artificial intelligence. 869.) |