KIT | KIT-Bibliothek | Impressum

Building bridges between knowledge representation and algebraic specification

Calmet, Jacques; Tjandra, Indra Adion



Zugehörige Institution(en) am KIT Institut für Algorithmen und Kognitive Systeme (IAKS)
Publikationstyp Buchaufsatz
Jahr 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.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page