期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
推广期“非试点”区域科技保险市场发展平台构建 被引量:4
1
作者 肖天明 《科技进步与对策》 CSSCI 北大核心 2012年第14期38-41,共4页
首先分析了推广期"非试点"区域构建科技保险市场可持续发展平台的必要性,指出阻碍"非试点"区域科技保险市场可持续发展的关键要素是参保企业数量不足并归纳分析其中的原因,在此基础上,借鉴"试点"区域的... 首先分析了推广期"非试点"区域构建科技保险市场可持续发展平台的必要性,指出阻碍"非试点"区域科技保险市场可持续发展的关键要素是参保企业数量不足并归纳分析其中的原因,在此基础上,借鉴"试点"区域的成功经验,为"非试点"区域系统构建由观念平台、宣传平台、法制政策平台、人才平台、险种平台和社会配套服务平台构成的科技保险市场可持续发展平台。 展开更多
关键词 推广期 区域 科技保险 可持续发展平台 科技保险平台
下载PDF
SGARP中全角法的实现
2
作者 张传军 郑焕 邹宇 《广西师范学院学报(自然科学版)》 2014年第2期33-36,共4页
在可持续发展的几何自动推理平台SGARP中,通过添加全角法相关的对象、谓词和定理,在SGARP中成功实现了全角法.添加了全角法的SGARP测试证明了100个几何定理.
关键词 可持续发展的几何自动推理平台SGARP 全角法 西姆松定理
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部