基于面向对象的几何定理自动证明系统设计与实现

著录项

• 来源
  《计算机时代》 |2012年第7期|26-2730|共3页
• 作者

  白景华; 韩道军;

  展开▼
• 作者单位

  河南大学软件学院;

  河南开封475004;

  河南大学数据与知识工程研究所;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 软件工程;
• 关键词

  面向对象; 几何定理自动证明; 前推法; 原型;