中国科学院计算技术研究所机构知识库(CSpace): 检索

浏览/检索结果: 共3条，第1-3条

帮助

已选(0)清除条数/页：排序方式：
	国家知识基础设施中的数学知识表示期刊论文软件学报, 2006, 卷号: 17.0, 期号: 008, 页码: 1731 作者: 曹存根; 眭跃飞; 孙瑜; 曾庆田收藏 \| 浏览/下载：8/0 \| 提交时间：2023/12/04 数学知识框架描述逻辑本体
	无权访问的条目期刊论文作者: 曾庆田; 眭跃飞; 曹存根 Adobe PDF(241Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/03/30
	一类构造性几何不等式的机器证明期刊论文计算机学报, 2003, 卷号: 26.0, 期号: 007, 页码: 769 作者: 杨路; 夏时洪收藏 \| 浏览/下载：8/0 \| 提交时间：2023/12/04 构造性几何不等式机器证明自动证明半代数系统

中国科学院计算技术研究所机构知识库