Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.
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.
Susanne Biundo; Werner Stephan
In: Proceedings 15th International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI), …
Dieter Hutter; Michael Kohlhase
In: W. McCune (Hrsg.). Proceedings 14th International Conference on Automated Deduction, CADE-14. International Conference on Automated Deduction …
Andreas Dengel
Frankfurter Rundschau, 5/1997.
Hans-Jürgen Bürckert; Klaus Fischer; Gero Vierke
DFKI, DFKI Technical Memos (TM), Vol. 97-03, 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 …