位置：成果数据库 > 会议 > 会议详情页
Geometry Knowledge Base Learning from Theorem Proofs
  • 所属机构名称：电子科技大学
  • 会议名称：the 8th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2013
  • 时间：2014
  • 成果类型：会议
  • 相关项目：基于本体的认知推理模型及其应用研究
同会议论文项目
基于本体的认知推理模型及其应用研究
期刊论文 13 会议论文 1
同项目会议论文