基于本体与Prolog的平面几何定理证明

文件格式： PDF文档
文件大小： 419.56 KB
资源类别： 电子
关键词： 本体   定理   基于   平面几何   证明
进入标准下载页面
本资源下载需 1 点

论文简介

基于本体与Prolog的平面几何定理证明
相关推荐