Zugehörige Institution(en) am KIT | Sonderforschungsbereich 314 (SFB 314) Institut für Logik, Komplexität und Deduktionssysteme (ILKD) |
Publikationstyp | Buchaufsatz |
Jahr | 1995 |
Sprache | Englisch |
Identifikator | KITopen ID: 6995 |
Erscheinungsvermerk | In: 3rd Workshop on Functional/Logic Programming. Schwarzenberg, Jan. 1994. Ed.: H.C.R. Lock. Karlsruhe 1995. 7 S. (Interner Bericht. Fakultät für Informatik, Universität Karlsruhe. 1995,36.) |