位置：成果数据库 > 期刊 > 期刊详情页
Geometry theorem proving on ontology and Prolog
  • ISSN号：1001-0548
  • 期刊名称：Journal of the University of Electronic Science an
  • 时间：2011
  • 页码：429-434
  • 相关项目：基于本体的几何定理机器证明
作者： Zhong, Xiu-Qin|Fu, Hong-Guang|Ding, Pan-Ping|
同期刊论文项目
基于本体的几何定理机器证明
期刊论文 17 会议论文 2
同项目期刊论文
A Hybrid Decision Approach to Detect Profile Injection Attacks in Collaborative Recommender Systems
仿分子动理学数据聚类法在基因表达数据上的应用
电子商务中人类活动的标度行为实证研究
MapReduce for HITS Algorithm with Application to Chinese Word Networks
概念地图在《离散数学》学习中的应用
计算机软件类课程教学平台研究与实践
基于移动互联网的文献个性化推荐系统
Molecular dynamics-like data clustering approach
A recursive algorithm for constructing complicated Dixon matrices
基于本体的几何学知识获取及知识表示
Extracting the information backbone in online system
Network-Based Inference Algorithm on Hadoop
Preference of online users and personalized recommendations
基于混合推理的知识库的构建及其应用研究
基于WordNet与Wikipedia的平面几何本体的构建
基于本体与Prolog的平面几何定理证明
期刊信息
  • 《电子科技大学学报》
  • 北大核心期刊（2011版）
  • 主管单位:国家教育部
  • 主办单位:电子科技大学
  • 主编：周小佳
  • 地址：成都市成华区建设北路二段四号
  • 邮编：610054
  • 邮箱：xuebao@uestc.edu.cn
  • 电话：028-83202308
  • 国际标准刊号：ISSN：1001-0548
  • 国内统一刊号：ISSN：51-1207/T
  • 邮发代号:62-34
  • 获奖情况:
  • 全国优秀科技期刊,第二届全国优秀科技期刊二等奖,两次获国家新闻出版署、国家教委“全国高校自然科...,中国期刊方阵双百期刊
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:12314