Journal of automated reasoning. 2002;28(1):35-51. doi: 10.1023/a:1020122610698 Q40.72025

Single Elementary Associative-Commutative Matching

单个基本的结合-交换匹配

DOI: 10.1023/a:1020122610698

摘要 查看摘要

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