KIT | KIT-Bibliothek | Impressum | Datenschutz

Integrating deduction techniques in a software reuse application

Baar, Thomas; Fischer, Bernd; Fuchs, Dirk



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Zeitschriftenaufsatz
Jahr 1999
Sprache Englisch
Identifikator KITopen ID: 309799
Erscheinungsvermerk J. of univers. comput. sci. 5 (1999) H. 3 S. 52-72.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page