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 41 bis 50 von 105
  1. Rainer Bleisinger; Berthold Kröll

    Representation of Non-Convex Time Intervals and Propagation of Non-Convex Relations

    DFKI, DFKI Technical Memos (TM), Vol. 94-02, 1994.

  2. Rainer Bleisinger; Klaus-Peter Gores

    Text Skimming as a Part in Paper Document Understanding

    DFKI, DFKI Technical Memos (TM), Vol. 94-01, 1994.

  3. Wray Buntine; Hans-Jürgen Bürckert

    On Solving Equations and Disequations

    In: Journal of the ACM (JACM), Vol. 41, No. 4, Pages 591-629, ACM, 1994.

  4. Hans-Jürgen Bürckert

    A Resolution Principle for Constrained Logics

    In: Artificial Intelligence (AIJ), Vol. 66, Pages 235-271, Elsevier, 1994.

  5. Dieter Hutter; Jürgen Cleve

    A Methodology for Equational Reasoning

    In: Jay F. Nunamaker jr.; Ralph H. Sprague jr. (Hrsg.). Proceedings Hawaii International Conference on System Sciences: Information Systems: …

  6. Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan

    Deduction in the Verification Support Environment (VSE)

    In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on …

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

  8. Synthesizing Induction Orderings for Existence Proofs

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

  9. Günter Neumann; Gertjan van Noord

    Reversibility and Self-Monitoring in Natural Language Generation

    In: Tomek Strzalkowski (Hrsg.). Reversible Grammar in Natural Language Processing. Pages 59-96, Kluwer Academic Publishers, Boston, 1994.