聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 基于面向对象的几何定理自动证明系统设计与实现
出处:计算机时代 2012年第7期26-27,30共3页
摘要:针对几何定理自动证明的前推法实现方式,结合面向对象编程工具的特点,实现了一个原型系统。该系统结构简... 显示全部
关键词: 面向对象 几何定理自动证明 前推法 原型
在线阅读 下载全文
找到1条结果
`