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.
