×
模态框(Modal)标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框(Modal)标题
×
中国科学院数学与系统科学研究院期刊网
ISSN 0583-1431 CN 11-2039/O1
Toggle navigation
数学学报
首页
期刊介绍
编委会
投稿指南
期刊订阅
下载中心
联系我们
English
素数阶群理论的量词消去算法及其上界
沈云付
Algorithmic Quantifier Elimination and Its Upper Bound for the Theory of Groups of Prime Orders
Yun Fu SHEN
数学学报 . 2005, (
3
): 549 -554 . DOI: 10.12386/A2005sxxb0066