Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 13 bis 16 von 16
  1. Hans-Jürgen Bürckert

    Matching - A Special Case of Unification? (Abstract)

    In: Claude Kirchner (Hrsg.). Summaries of Talks given at 1st Workshop on Unification. International Workshop on Unification (UNIF-87), March 18-20, …

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

    Deduktionssysteme. Automatisierung des logischen Denkens

    Oldenbourg-Verlag, 1987.

  3. Vollständige Induktion

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