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 91 bis 100 von 102
  1. Model-Based Information Systems for Knowledge Management

    In: IT& Knows, Conference on Information Technology and Knowledge Systems. Conference on Information Technology and Knowledge Systems (IT& Knows), …

  2. Information Systems in Knowledge Management: An Application Example

    In: Practical Applications in Knowledge Management, PAKeM'98. Practical Applications in Knowledge Management (PAKeM-98), Blackpool, United Kingdom, …

  3. Stephan Baumann; Jürgen Lichter; Michael Malburg; Heiko Maus; Harald Meyer auf'm Hofe; Claudia Wenzel

    Architektur für ein System zur Dokumentanalyse im Unternehmenskontext - Integration von Datenbeständen, Aufbau- und Ablauforganisation

    DFKI, DFKI Documents (D), Vol. 98-01, 1998.

  4. Stefan Agne; Hans-Günther Hein

    A Pattern Matcher for OCR corrupted Documents and its Evaluation

    In: Daniel P. Lopresti; Jiangying Zhou (Hrsg.). Document Recognition V. DDR Document Recognition and Retrieval (DDR), San Jose, Pages 160-168, …

  5. Serge Autexier; Heiko Mantel; Werner Stephan

    Simultaneous Quantifier Elimination

    In: O. Herzog; A. Günter (Hrsg.). KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence. German …

  6. Structuring Deduction by Using Abstractions

    In: T. Ellman (Hrsg.). Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. International Symposium on …

  7. Deductive Proof Support for Invariants of State-Transition Systems

    In: O. Herzog (Hrsg.). Proceedings 22th German Annual Conference on Artificial Intelligence KI-98. German Conference on Artificial Intelligence (KI), …

  8. Using Semantic Knowledge by Annotating Formulas

    In: D. Basin; D. Gabbay (Hrsg.). Proceedings 1st Workshop on Labelled Deduction. Workshop on Labelled Deduction, Freiburg, 1998.

  9. Erica Melis; Axel Schairer

    Similarities and Reuse of Proofs in Formal Software Verification

    In: Barry Smyth; Pàdraig Cunningham (Hrsg.). Advances in Case-Based Reasoning, Proceedinges of the Fourth European Workshop on Case Based Reasoning …

  10. Andreas Nonnengart; Georg Rock; Christoph Weidenbach

    On Generating Small Clause Normal Forms

    In: Proceedings of the 15th International Conference on Automated Deduction, CADE98. International Conference on Automated Deduction (CADE), Pages …