Publikation

Compuational Logic

Hans-Jürgen Bürckert

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

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