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 144
  1. Günter Neumann; Gertjan van Noord

    Self-Monitoring with Reversible Grammars

    In: ICCL (Hrsg.). Proceedings of the 14th International Conference on Computational Linguistics. International Conference on Computational Linguistics …

  2. Peter Baur; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

    The Verification Support Environment VSE

    In: H. H. Frey (Hrsg.). Proceedings of the IFAC Symposium. IFAC Symposium on Safety of Computer Control Systems (SAFECOMP-92), October 28-30, Zürich, …

  3. Vollständige Induktion

    In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Oldenbourg Verlag, 1992.

  4. Adapting a Resolution Calculus for Inductive Proofs

    In: Bernd Neumann (Hrsg.). Proceedings of the 10th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence …

  5. Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)

    Deduktionssysteme. Automatisierung des logischen Denkens

    Oldenbourg-Verlag, 1992.

  6. Hans-Jürgen Bürckert

    Deduktion als Berechnung

    In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatiserung des logischen Denkens. Pages 151-178, Oldenbourg, 1992.

  7. Hans-Jürgen Bürckert

    Unifikationstheorie

    In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 112-125, Oldenbourg, 1992.

  8. Hans-Jürgen Bürckert

    Deduktion, Abduktion, Induktion. KI-Lexikon.

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …