Journal of automated reasoning. 2001;26(3):291-331. doi: 10.1023/a:1006407208923 Q40.72025
Reasoning Theories
推理理论
DOI: 10.1023/a:1006407208923
摘要 查看摘要
Journal of automated reasoning. 2001;26(3):291-331. doi: 10.1023/a:1006407208923 Q40.72025
DOI: 10.1023/a:1006407208923
摘要 查看摘要