Skip to main content Skip to main navigation

Publication

Compuational Logic

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