Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Frank Hönes; Andreas Dengel
In: Rudolf E. Großkopf (Hrsg.). Mustererkennung 1990 - Proceedings of the 12. DAGM-Symposium. Annual Symposium of the German Association for Pattern …
Hans-Jürgen Bürckert
In: M. E. Stickel (Hrsg.). Proceedings of 10th International Conference on Automated Deduction. International Conference on Automated Deduction …
DFKI, DFKI Research Reports (RR), Vol. 90-02, 1990.
Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann
Research Report, DFKI GmbH, DFKI Research Reports (RR), Vol. 90-10, 1990.
Franz Baader; Hans-Jürgen Bürckert; Jochen Heinsohn; Bernhard Hollunder; Jürgen Müller; Bernhard Nebel; Werner Nutt; Hans-Jürgen Profitlich
DFKI GmbH, DFKI Technical Memos (TM), Vol. 90-04, 1990.
In: J.W. Lloyd (Hrsg.). Computational Logic. Symposium on Computational Logic, located at 7th ESPRIT Conference, November 13-14, Brussels, Belgium, …
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.
Harald Trost
DFKI, DFKI Research Reports (RR), Vol. 90-15, 1990.
In: Hans Karlgren (Hrsg.). Proceedings of the13th International Conference on Computational Linguistics (COLING '90). International Conference on …