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. BibTeX Export Compuational Logic@incollection{pub2380, author = { Bürckert, Hans-Jürgen }, editor = { Bläsius, Karl-Hans and Bürckert, Hans-Jürgen }, title = {Compuational Logic}, booktitle = {Deduction Systems in Artificial Intelligence}, year = {1989}, pages = {177--202}, publisher = {Ellis Horwood}, note = {Translation} }