Automatic reasoning system of plane analytic geometry based on forward reasoning

 
  • 基于前向推理的平面解析几何自动推理系统研究与实现
今日热词
目录 附录 查词历史