Saved in:
Bibliographic Details
Main Authors: Lutz, Carsten (Author), Haarslev, Volker (Author), Möller, Ralf (Author)
Format: Book
Language:English
Published: Hamburg Fachbereich Informatik d. Univ. Hamburg 1997
Series:Universität <Hamburg> / Fachbereich Informatik: Mitteilung 276
Physical Description:31 S.