Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 1994
Remove all filters
Displaying results 101 to 105 of 105.

  1. Andreas Dengel; Rainer Bleisinger; Rainer Hoch; Frank Hönes; Michael Malburg; Frank Fein

    OfficeMAID - A System for Automatic Mail Analysis, Interpretation and Delivery

    In: Proceedings of DAS'94. IAPR International Workshop on Document Analysis Systems (DAS-94), October 18-20, Kaiserslautern, Germany, Pages 253-276, …

  2. Dieter Hutter

    Synthesizing Induction Orderings for Existence Proofs

    In: M.C. Golumbic (Hrsg.). Proceedings of the Third International Symposium on Artificial Intelligence and Mathematics. International Symposium on …

  3. Dieter Hutter

    Synthesizing Induction Orderings for Existence Proofs

    In: Alan Bundy (Hrsg.). Proceedings of the 12th International Conference on Automated Deduction. International Conference on Automated Deduction …

  4. R. Förster; P. Kejwal; P. Baur; P. Göhner; J. Cleve; R. Drexler; Dieter Hutter; Claus Sengler; Jörg Siekmann; Werner Stephan; A. Wolpers; W. Reif; E. Canver; F. W. von Henke

    Verification Support Enviroment (VSE)

    In: Tagungsband 3. Deutscher IT-Sicherheitskongress der BSI. Deutscher IT-Sicherheitskongress der BSI, 3. SecuMedia, Ingelheim, 1994.

  5. R. Förster et al.

    VSE-Benutzerhandbuch, Teil I - III

    Manual, Bundesamt für Sicherheit in der Informationstechnik, 1994.

Year