Journal of automated reasoning. 1987;3(4):395-431. doi: 10.1007/bf00247437 Q40.72025
Choosing directions for rules
为规则选择方向
DOI: 10.1007/bf00247437
摘要 查看摘要
Journal of automated reasoning. 1987;3(4):395-431. doi: 10.1007/bf00247437 Q40.72025
DOI: 10.1007/bf00247437
摘要 查看摘要