Journal of automated reasoning. 1998;20(1-2):5-25. doi: 10.1023/a:1005992522805 Q40.72025

An Algorithm for the Retrieval of Unifiers from Discrimination Trees

一种从判别树中检索合一器的算法

DOI: 10.1023/a:1005992522805

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！