Journal of automated reasoning. 1991;7(4):635-637. doi: 10.1007/bf01880333 Q40.72025

Approaching hard non-classical problems

逼近困难的非经典问题

DOI: 10.1007/bf01880333

摘要 查看摘要

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