KIT | KIT-Bibliothek | Impressum | Datenschutz

A concept for the implementation of LSE narrowing

Werner, Andreas; Bockmayr, Alexander; Krischer, Stefan



Zugehörige Institution(en) am KIT Institut für Logik, Komplexität und Deduktionssysteme (ILKD)
Publikationstyp Buchaufsatz
Publikationsjahr 1993
Sprache Englisch
Identifikator KITopen-ID: 130293
Erscheinungsvermerk In: 9. Workshop Logische Programmmierung, Hagen 1993. Hrsg.: C. Beierle. Hagen 1993. S. 104-107. (Bericht. Fernuniversitaet Hagen. 146.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page