Journal of automated reasoning. 1991;7(1):105-107. doi: 10.1007/bf00249355 Q40.72025
The problem of finding a restriction strategy more effective than the set of support strategy
寻找一种比支持集策略更有效的限制策略的问题
DOI: 10.1007/bf00249355
摘要 查看摘要
Journal of automated reasoning. 1991;7(1):105-107. doi: 10.1007/bf00249355 Q40.72025
DOI: 10.1007/bf00249355
摘要 查看摘要