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  - BOOK
A1  - Kettern, Jürgen
T1  - Mechanical and biological treatment of waste after separate collection / R. Damiecki; J.T. Kettern. Italian Ministry of Enviroment
Y1  - 1993
N1  - SARDINIA 93 ; 2 ;  International Landfill Symposium ; (4. : ; 1993.10.11-15 : ; S. Margherita di Pula)
PB  - Eigenverlag
CY  - Caglieri
ER  - 
TY  - BOOK
A1  - Lauth, Jakob
A1  - Hoelderich, Wolfgang
A1  - Wagenblast, Gerhard
T1  - Molecular sieves containing azo dyes ; Internationale [Pantent]anmeldung WO93/17965 ; Veröffentlichungsdatum: 16.09.1993  / Anmelder: BASF AG
Y1  - 1993
N1  - Volltext über Datenbank http://depatisnet.dpma.de/
PB  - Weltorganisation für geistiges Eigentum, Internat. Büro
CY  - [Genf]
ER  - 
TY  - BOOK
A1  - Jacobs, Stephan
A1  - Jarke, Matthias
T1  - Requirements information management : the NATURE approach / RWTH Aachen, Fachgruppe Informatik. M. Jarke
Y1  - 1994
N1  - Aachener Informatik-Berichte ; 94-24
PB  - RWTH, Fachgruppe Informatik
CY  - Aachen
ER  - 
TY  - BOOK
A1  - Schürmann, Wilhelm
A1  - Müller, Christian Philipp
T1  - Temporary translation(s) - Sammlung Schürmann. Kunst der Gegenwart und Fotografie / Gestaltung der Seiten ...: Christian Philipp Müller...
Y1  - 1994
SN  - 3-89479-067-9
N1  - Katalogbuch zur Ausstellung Temporary Translation(s), Deichtorhallen Hamburg, 10.XII.1994 - 12.II.1995
PB  - Ars Nicolai
CY  - Berlin
ER  - 
TY  - BOOK
A1  - Thielemann, Frank
A1  - Staudt, Erich
A1  - Kriegesmann, Bernd
T1  - Joint-ventures. Staudt, Erich; Kriegesmann, Bernd; Thielemann, Frank
Y1  - 1994
N1  - Berichte aus der angewandten Innovationsforschung ; 133
PB  - Inst. für Angewandte Innovationsforschung e.V.
CY  - Bochum
ER  - 
TY  - BOOK
A1  - Grotendorst, Johannes
T1  - Calculation of Chemical Equilibrium Compositions : Interner Bericht
Y1  - 1994
N1  - Technical Report IB-9406 ; KFA-ZAM-IB-9406
PB  - Forschungszentrum Jülich
CY  - Jülich
ER  - 
TY  - BOOK
A1  - Grotendorst, Johannes
A1  - Dornseiffer, Jürgen
A1  - Schoberth, Siegfried M.
T1  - Symbolic-numeric computation techniques for problem-solving in Physical Chemistry and Biochemistry . Stand 08.06.1994 / Grotendorst, Johannes ; Dornseiffer, Jürgen ; Schoberth, Siegfried M.
Y1  - 1994
N1  - zgl. Technical Report KFA-ZAM-IB-9414 ; Proceedings of the Maple Summer Workshop and Symposium (MSWS'94), Rensselaer Polytechnic Institute, 9-13 August 1994, Troy, New York
PB  - ZAM, KFA
CY  - Jülich
ER  - 
TY  - BOOK
A1  - Grotendorst, Johannes
A1  - Dornseiffer, Jürgen
A1  - Schoberth, Siegfried M.
T1  - Symbolic-numeric computation techniques for problem-solving in Physical Chemistry and Biochemistry . Stand 08.06.1994 / Grotendorst, Johannes ; Dornseiffer, Jürgen ; Schoberth, Siegfried M.
Y1  - 1994
N1  - zgl. Technical Report KFA-ZAM-IB-9414 ; Proceedings of the Maple Summer Workshop and Symposium (MSWS'94), Rensselaer Polytechnic Institute, 9-13 August 1994, Troy, New York
PB  - ZAM, KFA
CY  - Jülich
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Vogler, Heiko
A1  - Wedel, Andrea
T1  - Implementation of a deterministic partial E-unification algorithm for macro tree transducers
Y1  - 1994
N1  - (Ulmer Informatik-Berichte ; 94,4)
PB  - Univ. Ulm, Fak. für Informatik
CY  - Ulm
ER  -