沈复兴

导出分析报告

沈复兴，男，1945年5月出生于江苏常熟。1968年毕业于北京师范大学数学系，1981年在北师大数学系获硕士学位，1985年获博士学位，1986年被评为副教授，1992年...   详细>>

研究主题：量词消去    原子模型    P    紧致性定理    完全二叉树    

研究学科：自动化类    机械类    

被引量：70H指数：3