Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
Christoph Kreitz; Heiko Mantel; Jens Otten; Stephan Schmitt
In: William McCune (Hrsg.). 14th International Conference on Automated Deduction, CADE-14. International Conference on Automated Deduction (CADE), …
Heiko Mantel; Enno Sandner
1997.
Serge Autexier; Dieter Hutter
In: U. Furbach; M. P. Bonacina (Hrsg.). International Workshop on First-Order Theorem Proving - FTP97. International Workshop on First-Order Theorem …
DFKI, DFKI Research Reports (RR), Vol. 97-04, 1997.
Jan Alexandersson; Tilman Becker; Wolfgang Finkler; Walter Kasper; Anne Kilger; Reinhard Karger; Hans-Ulrich Krieger; Elisabeth Maier; Norbert Reithinger; Melanie Siegel; Hans Uszkoreit; Wolfgang Wahlster
Technical Report, German Research Center for Artificial Intelligence (DFKI), DFKI Final Reports (FR), Vol. 97-05, 1997.
Andreas Dengel
Frankfurter Rundschau, 5/1997.
Andreas Dengel; Frank Dubiel
In: Proceedings of the First International Conference on Knowledge-Based Intelligent Electronic Systems. International Conference on Knowledge-Based …
In: Proceedings of the Workshop on Document Image Analysis. Workshop on Document Image Analysis (DIA-97), June 20, San Juan, Puerto Rico, Pages 26-31, …
Matthias Kaiser; Andreas Dengel
In: Don Potter; Manton Matthews; Moonis Ali (Hrsg.). Proceedings 10th International Conference on Industrial and Engineering Applications of …
Stephan Baumann; Majdi Ben Hadj Ali; Andreas Dengel; Thorsten Jäger; Michael Malburg; Achim Weigel; Claudia Wenzel
In: Proceedings of the 4th International Conference on Document Analysis and Recognition. International Conference on Document Analysis and …