Publikation

Complete Induction

Dieter Hutter

In: Karl-Hans Bläsius , Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Ellis Horwood Series in Artificial Intelligence ISBN 9780745804095 Ellis Horwood 1989.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence