Journal of automated reasoning. 1985;1(1):1-3. doi: 10.1007/bf00244287 Q40.72025
Editorial: A journal is born
社论:一本期刊诞生了
DOI: 10.1007/bf00244287
摘要 查看摘要
Journal of automated reasoning. 1985;1(1):1-3. doi: 10.1007/bf00244287 Q40.72025
DOI: 10.1007/bf00244287
摘要 查看摘要