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
We found no external links pointing to this url.