TY  - BOOK
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
T1  - A universal unification algorithm based on unification driven leftmost outermost narrowing
Y1  - 1992
N1  - (Ulmer Informatik-Berichte ; 92,7)
PB  - Univ. Ulm, Fak. für Informatik
CY  - Ulm
ER  - 
TY  - JOUR
A1  - Alt, Helmut
T1  - Möglichkeiten der CO2-Minderung "alternativ" betrachtet
JF  - Etz : Elektrotechnik & Automation
Y1  - 1992
SN  - 0170-1711
VL  - Bd. 113
IS  - H. 6-7
SP  - 400
ER  - 
TY  - JOUR
A1  - Alt, Helmut
T1  - Renditevergleich zwischen Immobilien und Festverzinslichen
JF  - Die Bank
Y1  - 1992
SN  - 0342-3182
IS  - H. 2
SP  - 91
EP  - 92
ER  -