Journal of automated reasoning. 1990;6(4):419-461. doi: 10.1007/bf00244357 Q40.72025
Interest driven suppositional reasoning
兴趣驱动的假设推理
DOI: 10.1007/bf00244357
摘要 查看摘要
Journal of automated reasoning. 1990;6(4):419-461. doi: 10.1007/bf00244357 Q40.72025
DOI: 10.1007/bf00244357
摘要 查看摘要