Media type: Book; Thesis Title: Entwurf eines übersetzenden Narrowing-Systems basierend auf der abstrakten Warren-Maschine (WAM) Contributor: Scharnhorst, Carlo [Author] imprint: Karlsruhe: Univ., Fak. für Informatik, 1991 Published in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 91,9 Extent: 80 S.; 30 cm Language: German RVK notation: SS 5554 : Universität Karlsruhe: Fakultät für Informatik: Interner Bericht Keywords: Bericht ; Hochschulschrift Origination: University thesis: Zugl.: Karlsruhe, Univ., Inst. f. Logik, Komplexität u. Deduktionssysteme, Dipl.-Arb., 1991 Footnote:
Departmental Library DrePunct – stack Shelf-mark: 95 4 50598 001 Item ID: 30084130 Status: Loanable, place order > Ordering possible ‒ please log in