Journal of symbolic computation. 1995;19(1-3):201-216. doi: 10.1006/jsco.1995.1012 Q21.12025
Contexts in Mathematical Reasoning and Computation
DOI: 10.1006/jsco.1995.1012
摘要 查看摘要
Journal of symbolic computation. 1995;19(1-3):201-216. doi: 10.1006/jsco.1995.1012 Q21.12025
DOI: 10.1006/jsco.1995.1012
摘要 查看摘要