Due to maintenance work, it is currently not possible to search for publications by author.
Hans-Jürgen Bürckert
In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Pages 141-153, Ellis Horwood Series in Artificial …