URL details: www.buerckert.eu/hans-juergen-buerckert-2/

URL title: Dr. Hans-Jürgen Bürckert – Familie Bürckert
URL paragraphs: Deduction Systems in Artificial Intelligence. Ellis Horwood Series in Artificial Intelligence, 1989. Matching – a special case of unification? J. of Symbolic Computation 8 , 523-536, 1989. On equational theories, unification, and (un)decidabi
URL last crawled: 2023-04-13
URL speed: 0.665 MB/s, downloaded in 0.090 seconds

open external url

We found no external links pointing to this url.