Publikationen von Karl-Hans Bläsius

1992

• Dieter Hutter
  Vollständige Induktion.
  In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Page o.A. Oldenbourg Verlag, 1992.
• Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)
  Deduktionssysteme. Automatisierung des logischen Denkens.
  Oldenbourg-Verlag, 1992.
• 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.
• 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.

1989

• Dieter Hutter
  Complete Induction.
  In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Page o.A. Ellis Horwood Series in Artificial Intelligence, ISBN 9780745804095, Ellis Horwood, 1989.
• Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)
  Deduction Systems in Artificial Intelligence.
  Ellis Horwood Series in Artificial Intelligence, Ellis Horwood, 1989.
• Hans-Jürgen Bürckert
  Unification Theory.
  In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Pages 141-153, Ellis Horwood Series in Artificial Intelligence, Ellis Horwood, 1989.
• Hans-Jürgen Bürckert
  Compuational Logic.
  In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Pages 177-202, Ellis Horwood, 1989.

1987

• Dieter Hutter
  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.
• Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.)
  Deduktionssysteme. Automatisierung des logischen Denkens.
  Oldenbourg-Verlag, 1987.
• Hans-Jürgen Bürckert
  Unifikationstheorie.
  In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 104-114, Oldenbourg-Verlag, 1987.
• Hans-Jürgen Bürckert
  Deduktion als Berechnung.
  In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduktionssysteme. Automatisierung des logischen Denkens. Pages 134-152, Oldenbourg Verlag, 1987.