挑错
返回首页
标题：
交互式定理证明与程序开发
错误类型：
错别字(除的、地、得)
成语运用不当
专业术语写法不规则
产品与图片不符
事实年代以及内容错误
技术参数错误
其他
错误内容：
修正建议：
