Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 13 bis 16 von 16
  1. Hans-Jürgen Bürckert; Andreas Künkler

    Gesellschaftliche Auswirkungen der Informatik. Seminarvorträge

    Skriptum, Universität Kaiserslautern, Skriptum, Vol. WS 1986/87, 1987.

  2. Hans-Jürgen Bürckert

    Lazy E-Unification - A Method to Delay Alternative Solutions

    Université de Nancy, Rapport Interne, Vol. 87 R 34, 1987.

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

    Deduktionssysteme. Automatisierung des logischen Denkens

    Oldenbourg-Verlag, 1987.

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