Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 81 bis 90 von 105
  1. 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 …

  2. Synthesizing Induction Orderings for Existence Proofs

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

  3. 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.

  4. R. Förster et al.

    VSE-Benutzerhandbuch, Teil I - III

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

  5. Robert Dale; Wolfgang Finkler; Richard Kittredge; Nils Lenke; Günter Neumann; Conny Peters; Manfred Stede

    Report from Working Group 2: Lexicalization and Architecture

    In: Wolfgang Hoeppner; Helmut Horacek; Johanna Moore (Hrsg.). Principles of Natural Language Generation. Dagstuhl Seminare/Workshops, July 25-29, …

  6. Stephan Busemann; Stephan Oepen; Elizabeth Hinkelman; Günter Neumann; Hans Uszkoreit

    COSMA - Multi-Participant NL Interaction for Appointment Scheduling

    DFKI, DFKI Research Reports (RR), Vol. 94-34, 1994.

  7. Paul Buitelaar; Anne-Marie Mineur

    Coercion and Compositionality in Categorial Grammar

    In: P. Dekker; M. Stokhof (Hrsg.). Proceedings of the 9th Amsterdam Colloquium. Amsterdam Colloquium, December 14-17, Amsterdam, Netherlands, Pages …

  8. Lorna Balkan; Klaus Netter; Doug Arnold; Siety Meijer

    TNSLP - Test Suites for Language Processing

    In: CEC Language Engineering Convention. CEC Language Engineering Convention, July 6-7, Paris, France, Actes du journées du génie linguistique, ISBN …

  9. About the Logical Partitioning of Document Images

    In: Proceedings of SDAIR'94. Annual Symposium on Document Analysis and Information Retrieval (SDAIR-94), 3rd, April 11-13, Las Vegas, NV, USA, Pages …

  10. 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, …