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 |
