Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Hans-Jürgen Bürckert
In: Claude Kirchner (Hrsg.). Unification. Pages 125-138, Academic Press, 1990.
Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß
In: Claude Kirchner (Hrsg.). Unification. Pages 69-119, Academic Press, 1990.
In: M. E. Stickel (Hrsg.). Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction …
G. Barth; Andreas Dengel
In: Bild der Wissenschaft, Vol. 1/90, Pages 106-110, Konradin Medien GmbH, Leinfelden-Echterdingen, 1990.
Dieter Hutter
In: M. Stickel (Hrsg.). Proceedings 10th International Conference on Automated Deduction. International Conference on Automated Deduction (CADE-10), …
Hans Uszkoreit
In: Philip Miller; T. Torris (Hrsg.). Formalismes syntaxiques pour le traitement automatique du langage naturel. Pages 183-205, Hermes, Paris, 1990.
In: Werner Bahner (Hrsg.). Proceedings of the 14th International Congress of Linguists. International Congress of Linguists, 14th, August 10-15, …
In: Danièle Clément (Hrsg.). Grammaires d'Unification. ATALA, Paris, 1990.
In: H. Bußmann (Hrsg.). Lexikon der Sprachwissenschaft. Kröner, Stuttgart, 1990.
