Journal of symbolic computation. 1992;14(4):321-358. doi: 10.1016/0747-7171(92)90011-r Q21.12025

Unification under a mixed prefix

DOI: 10.1016/0747-7171(92)90011-r

摘要 查看摘要

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