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 51 bis 60 von 105
  1. Andreas Dengel; Rainer Hoch; Hans-Günther Hein

    ALV: Lesende Systeme für die Unterstützung von Bürovorgängen

    In: Statusseminar des BMFT "Künstliche Intelligenz". Statusseminar des BMFT, April 27-28, Berlin, Germany, Pages 349-362, DLR, 4/1994.

  2. Künstliche Intelligenz

    Meyer's Forum, B.I.-Wissenschaftsverlag, F.A. Brockhaus, 1994.

  3. Andreas Dengel; Larry Spitz (Hrsg.)

    Proceedings of DAS'94

    IAPR International Workshop on Document Analysis Systems (DAS-94), October 18-20, Kaiserslautern, Germany, DFKI Documents (D), Vol. 94-13, …

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

  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. Hans-Jürgen Bürckert

    A Resolution Principle for Constrained Logics

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

  10. Hans Uszkoreit; Rolf Backofen; Stephan Busemann; Abdel Kader Diagne; Elizabeth Hinkelman; Walter Kasper; Bernd Kiefer; Hans-Ulrich Krieger; Klaus Netter; Günter Neumann; Stephan Oepen; Stephen P. Spackman

    DISCO - An HPSG-Based NLP System and its Application for Appointment Scheduling

    In: Proceedings of the 15th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-94), …