Publication

Compuational Logic

Hans-Jürgen Bürckert

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

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