E-Unifikation für primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.
Verfasserangaben: | Heinz Faßbender |
---|---|
ISBN: | 3-8265-0917-X |
Verlag: | Shaker |
Verlagsort: | Aachen |
Dokumentart: | Buch (Monographie) |
Sprache: | Deutsch |
Erscheinungsjahr: | 1995 |
Datum der Publikation (Server): | 18.12.2012 |
Umfang: | IX, 272 S. : graph. Darst. |
Bemerkung: | (Berichte aus der Informatik) ; Zugl.: Ulm, Univ., Diss., 1995 |
Fachbereiche und Einrichtungen: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |